Pinned Repositories
emacs.d
Emacs config files
epub
Free books in epub format
knotscap
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
merge_pdfs
Simple script for merging several PDF files to one
natural_number_game
Building the natural numbers in Lean.
plugin-tutorial
Yet another plugin tutorial, this time as an exercise for 598
SnapPy
SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the SnapPea kernel written by Jeff Weeks.
natural_number_game
Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
ikrukov's Repositories
ikrukov/epub
Free books in epub format
ikrukov/emacs.d
Emacs config files
ikrukov/knotscap
ikrukov/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
ikrukov/merge_pdfs
Simple script for merging several PDF files to one
ikrukov/natural_number_game
Building the natural numbers in Lean.
ikrukov/plugin-tutorial
Yet another plugin tutorial, this time as an exercise for 598
ikrukov/SnapPy
SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the SnapPea kernel written by Jeff Weeks.