ProofWidgets

https://github.com/leanprover-community/proofwidgets4

A collection of widgets for the Lean 4 theorem prover.

Tokens:1,991
Snippets:38
Trust Score:9.5
License:Apache-2.0
Update:4 weeks ago
Tokens:
Raw