leanprover-community / ProofWidgets4Links

Helper toolkit for creating your own Lean 4 UserWidgets
144Updated 2 weeks ago

Alternatives and similar repositories for ProofWidgets4

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

Sorting: