urkud

Formalization lead at @harmonic-ai

Harmonic AIPalo Alto

Pinned Repositories

bib
My bib file
Language:TeX0 2 00
BrouwerFixedPoint
Formalization of the Brouwer Fixed Point Theorem (my fork)
Language:Lean0 1 00
calculus-notebooks
Jupyter notebooks about basic calculus topic
Language:Jupyter Notebook0 2 00
divthm-paper
Paper about formalization of the divergence theorem
Language:TeX0 2 02
flypitch
A formal proof of the independence of the continuum hypothesis
Language:Lean1 2 00
mat332-notebooks
Jupyter notebooks for the course MAT332, fall 2020, UTM
Language:Jupyter Notebook1 2 01

urkud's Repositories

urkud/flypitch
A formal proof of the independence of the continuum hypothesis
Language:Lean1 2 00
urkud/mat332-notebooks
Jupyter notebooks for the course MAT332, fall 2020, UTM
Language:Jupyter Notebook1 2 01
urkud/bib
My bib file
Language:TeX0 2 00
urkud/BrouwerFixedPoint
Formalization of the Brouwer Fixed Point Theorem (my fork)
Language:Lean0 1 00
urkud/calculus-notebooks
Jupyter notebooks about basic calculus topic
Language:Jupyter Notebook0 2 00
urkud/divthm-paper
Paper about formalization of the divergence theorem
Language:TeX0 2 02
urkud/lean
Lean Theorem Prover
Language:C++0 1 00
urkud/lean4-mode
Emacs major mode for Lean 4
Language:Emacs Lisp1 0
urkud/libgit2
The Library
Language:C2 0
urkud/mathlib
Lean mathematical components library
Language:Lean2 0
urkud/nixpkgs
Nix Packages collection
Language:Nix1 0
urkud/ODE-notebooks
Language:Jupyter Notebook2 0
urkud/std4
Standard Library for Lean 4
Language:Lean1 0
urkud/tamu-308
Lecture notes for MATH 308 at Texas A&M
Language:Python2 0