Simon

Expert
@sorgfresser

MPhil CompSci in Cambridge

htps. HTPS go brr

5

conjectureextraction. Conjecture Extraction: a combination of conjecture generation, online autoformalization, and online ATP for the Lean 4 theorem prover.

2

proofflow. GFlowNets for Automated Theorem Proving in Lean.

1

modularexp. Python

1

lean-repl-py. A very thin unofficial Python wrapper for the Lean REPL.

1
5
Apply