jasonrute / lean_proof_recordingLinks

Proof recording for Lean 3
27Updated 3 years ago

Alternatives and similar repositories for lean_proof_recording

Users that are interested in lean_proof_recording are comparing it to the libraries listed below

Sorting: