yoshihiro503

Yoshihiro Imai

pp

pa

proof assistant in Coq

ondasu

ondasu is online board game.

ParsecInJava

Parser Monad in Java. A Lambda term parser example is in the main function.

calcoq

arbitry-precision calculator on cgi. powered by OCaml and Proof Assistant Coq.

  1. Prev
  2. 1
  3. 2
  4. 3
  5. 4
  6. Next