All Git Users → bzhan

1 open source projects by bzhan

[ Open user page on Github ]

A best-first-search theorem prover implemented in Isabelle

✭ 30

Isabelle Standard ML ocaml TeX

1-1 of 1 user projects