xl-zhao/formal_proof_generator_v1_iter3
Updated
•
11
SubgoalXL
-
-
xl-zhao/formal_proof_generator_v2_iter3
Updated • 4 -
xl-zhao/formal_proof_generator_v3_iter3
Updated • 5 • 1 -
xl-zhao/formal_proof_generator_v4_iter3
Updated • 4 -
xl-zhao/formal_proof_v1_iter3
Viewer • Updated • 200k • 35 -
xl-zhao/formal_proof_v2_iter3
Viewer • Updated • 77.6k • 36 -
xl-zhao/formal_proof_v3_iter3
Viewer • Updated • 200k • 36 -
xl-zhao/formal_proof_v4_iter3
Viewer • Updated • 77.5k • 39 • 1