Tom Reichel

Advanced
@tom-p-reichel

Recent M.S. Grad, Job Hunting.

svg-is-turing-complete. An implementation of rule 110 in Scalable Vector Graphics

146

proof-repair-tool. Automated Coq proof repair with a fine-tuned LLM, vector database of theorems, and proof tree search.

3

python-coqtop. Async-first interface between Coq and Python. Supports most versions of Coq.

1

ocaml-bert-ggml. OCaml

1

coq-kissloader. load findlib libraries in coq that don't have a dot in their name

1
5
Apply