Pinned Repositories
carleson
A formalized proof of Carleson's theorem in Lean
carma
Converters between Armadillo matrices (C++) and Numpy arrays using Pybind11
compfiles
Catalog Of Math Problems Formalized In Lean
con-nf
A formal consistency proof of Quine's set theory New Foundations
continue
⏩ Continue is the leading open-source AI code assistant. You can connect any models and any context to build custom autocomplete and chat experiences inside VS Code and JetBrains
coxeter
debate
Formalizing stochastic doubly-efficient debate
FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
FormalBook
Formalizing "Proofs from THE BOOK"
Jetpack-Joyride
Clone of the Jetpack Joyride game written in C for Caltech's Software Design class
Adarsh321123's Repositories
Adarsh321123/Jetpack-Joyride
Clone of the Jetpack Joyride game written in C for Caltech's Software Design class
Adarsh321123/carleson
A formalized proof of Carleson's theorem in Lean
Adarsh321123/carma
Converters between Armadillo matrices (C++) and Numpy arrays using Pybind11
Adarsh321123/compfiles
Catalog Of Math Problems Formalized In Lean
Adarsh321123/con-nf
A formal consistency proof of Quine's set theory New Foundations
Adarsh321123/continue
⏩ Continue is the leading open-source AI code assistant. You can connect any models and any context to build custom autocomplete and chat experiences inside VS Code and JetBrains
Adarsh321123/coxeter
Adarsh321123/debate
Formalizing stochastic doubly-efficient debate
Adarsh321123/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Adarsh321123/FormalBook
Formalizing "Proofs from THE BOOK"
Adarsh321123/hairy-ball-theorem-lean
A proof in lean of the hairy ball theorem
Adarsh321123/lean4-pdl
WORK IN PROGRESS Lean 4 formalization of a Tableaux proof system for Propositional Dynamic Logic
Adarsh321123/LeanCopilotNew
LLMs as Copilots for Theorem Proving in Lean
Adarsh321123/mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
Adarsh321123/Formalisation-of-constructable-numbers
Adarsh321123/Foundation
Lean4 Logic Formalization
Adarsh321123/lean-math-workshop
数学系のためのLean勉強会
Adarsh321123/lean-matrix-cookbook
The matrix cookbook, proved in the Lean theorem prover
Adarsh321123/lean4lean
Lean 4 kernel / 'external checker' written in Lean 4
Adarsh321123/LeanAPAP
Formalisation of the Kelley-Meka bound on Roth numbers
Adarsh321123/LeanEuclid
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
Adarsh321123/miniF2F-lean4
Adarsh321123/pfr
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
Adarsh321123/PrimeNumberTheoremAnd
blueprint for prime number theorem and more
Adarsh321123/PUTNAM-Adarsh
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
Adarsh321123/PutnamBench
Adarsh321123/Saturn
Experiments with SAT solvers with proofs in Lean 4
Adarsh321123/SciLean
Scientific computing in Lean 4
Adarsh321123/SimpleLean
Adarsh321123/zeta_3_irrational_placeholder