home. faneca
  • Contact Information
  • Research
  • Coq insertionsort sorts
  • cocATP
  • C5
  • Links
  • LaTeX
  • Vim
  • Rolemaster
  • mis juegos (ancient)
  • some math in JavaScript
  • Programas en Java
  • Notas Ensamblador
  • Macros en bash
  • cocATP-current-0.2.1-24062015.zip
  • myggp-current-24062015.zip
  • autoprog-24062015.zip
    • here BLa