Pinned Repositories
lean-complex-has_primitives
leanblueprint
plasTeX plugin to build formalization blueprints.
leanblueprint-extract
A tool to extract the blueprint from a lean file
leapt
leapt is an attempt to get GPT to formalize lean proofs
plastexdepgraph
Dependency graph plugin for plasTeX
PrimeNumberTheoremAnd
blueprint for prime number theorem and more
pythagoras4
Many proofs of the Pythagoras theorem - Lean 4
RMT4
A fork of Vincent Beffara's project to prove the Riemann Mapping Theorem in lean 4
leanblueprint
plasTeX plugin to build formalization blueprints.
plastex
plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of output.
ianjauslin-rutgers's Repositories
ianjauslin-rutgers/pythagoras4
Many proofs of the Pythagoras theorem - Lean 4
ianjauslin-rutgers/leanblueprint-extract
A tool to extract the blueprint from a lean file
ianjauslin-rutgers/RMT4
A fork of Vincent Beffara's project to prove the Riemann Mapping Theorem in lean 4
ianjauslin-rutgers/leapt
leapt is an attempt to get GPT to formalize lean proofs
ianjauslin-rutgers/lean-complex-has_primitives
ianjauslin-rutgers/leanblueprint
plasTeX plugin to build formalization blueprints.
ianjauslin-rutgers/plastexdepgraph
Dependency graph plugin for plasTeX
ianjauslin-rutgers/PrimeNumberTheoremAnd
blueprint for prime number theorem and more