htzh

Pinned Repositories

browse-ocaml
Browse OCaml Compiler Source Code
Language:HTML1 1 00
bucklescript
A backend for the OCaml compiler which emits JavaScript.
Language:OCaml00
cpp-user
Tid-bits for using C++
0 2 00
ediprolog
Emacs Does Interactive Prolog
Language:Emacs Lisp00
GoGen
0 2 00
holnat
HOL Light Native
Language:OCaml1 2 10
lean
Lean Theorem Prover
Language:C++0 2 00
leanproved
Theorems proved using the Lean prover.
Language:Lean10 3 13
problemdriven
Language:HTML0 2 00
SAD
automated verifier of formalized mathematical texts
Language:Haskell0 0 00

htzh's Repositories

htzh/leanproved
Theorems proved using the Lean prover.
Language:Lean10 3 13
htzh/browse-ocaml
Browse OCaml Compiler Source Code
Language:HTML1 1 00
htzh/holnat
HOL Light Native
Language:OCaml1 2 10
htzh/bucklescript
A backend for the OCaml compiler which emits JavaScript.
Language:OCaml00
htzh/cpp-user
Tid-bits for using C++
0 2 00
htzh/ediprolog
Emacs Does Interactive Prolog
Language:Emacs Lisp00
htzh/GoGen
0 2 00
htzh/lean
Lean Theorem Prover
Language:C++0 2 00
htzh/problemdriven
Language:HTML0 2 00
htzh/SAD
automated verifier of formalized mathematical texts
Language:Haskell0 0 00
htzh/xsb-user
This project is to document the usage of XSB, including patches and extensions.
htzh/zzmath
Language:HTML2 0