devjuice1

Pinned Repositories

lean-step-public
Proof artifact co-training for Lean
Language:Lean00
lean-tpe-public
The Lean Theorem Proving Environment
Language:Lean00
lean_proof_recording
Proof recording for Lean 3
Language:Python00

devjuice1's Repositories

devjuice1/lean-step-public
Proof artifact co-training for Lean
Language:Lean00
devjuice1/lean-tpe-public
The Lean Theorem Proving Environment
Language:Lean00
devjuice1/lean_proof_recording
Proof recording for Lean 3
Language:Python00