This is your work, valued
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
146proof-repair-tool. Automated Coq proof repair with a fine-tuned LLM, vector database of theorems, and proof tree search.
3python-coqtop. Async-first interface between Coq and Python. Supports most versions of Coq.
1ocaml-bert-ggml. OCaml
1coq-kissloader. load findlib libraries in coq that don't have a dot in their name
1 views searches