Pinned Loading

1. leanblueprint leanblueprint Public

   plasTeX plugin to build formalization blueprints.

   Python 279 52

2. plastex plastex Public

   Forked from plastex/plastex

   Python package to convert LaTeX markup to DOM

   Python 1

3. lean-perfectoid-spaces lean-perfectoid-spaces Public

   Forked from leanprover-community/lean-perfectoid-spaces

   A formalization of the concept of a perfectoid space in the Lean formal theorem prover.

   Lean 1

4. verbose-lean4 verbose-lean4 Public

   Natural language tactics to teach mathematics using Lean 4

   Lean 109 18