ianjauslin-rutgers

Ian Jauslin's repositories

Many proofs of the Pythagoras theorem - Lean 4

Language:Lean9 40

A tool to extract the blueprint from a lean file

Language:PythonGPL-3.03 20

A fork of Vincent Beffara's project to prove the Riemann Mapping Theorem in lean 4

Language:Lean2 10

leapt is an attempt to get GPT to formalize lean proofs

Language:PythonApache-2.01 20

Language:TeXApache-2.0020

plasTeX plugin to build formalization blueprints.

Language:Python000

Dependency graph plugin for plasTeX

Language:Python000

blueprint for prime number theorem and more

Language:LeanApache-2.0000