Haitao Zhang's repositories
leanproved
Theorems proved using the Lean prover.
browse-ocaml
Browse OCaml Compiler Source Code
Language:HTML000
bucklescript
A backend for the OCaml compiler which emits JavaScript.
Language:OCamlNOASSERTION000
cpp-user
Tid-bits for using C++
000
ediprolog
Emacs Does Interactive Prolog
Language:Emacs Lisp000
000
lean
Lean Theorem Prover
Language:C++Apache-2.0000
Language:HTML000
SAD
automated verifier of formalized mathematical texts
Language:HaskellGPL-3.0000
xsb-user
This project is to document the usage of XSB, including patches and extensions.
000
Language:HTML000