neugierde / cantors-atticLinks
Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information about all notions of mathematical infinity.
☆32Updated last year
Alternatives and similar repositories for cantors-attic
Users that are interested in cantors-attic are comparing it to the libraries listed below
Sorting:
- Set Theory Game☆22Updated last week
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆67Updated this week
- A formal proof of the independence of the continuum hypothesis☆136Updated last year
- Book about using Lean with How To Prove It☆24Updated last month
- Markdown file of the list and explanations of all mathlib4 tactics☆52Updated last year
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆88Updated 5 months ago
- Mathlib search tool☆110Updated 3 weeks ago
- Lecture notes on realizability☆75Updated 9 months ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆130Updated 3 months ago
- A wiki for collaborative work on totally legitimate "category theory"☆126Updated last year
- ☆17Updated last year
- The agda-unimath library☆274Updated this week
- List of the output of #help command of mathlib4, including list of all tactics, commands...etc☆22Updated this week
- Agda formalisation of the Introduction to Homotopy Type Theory☆124Updated 3 years ago
- Goldbach conjecture = 25-state turing machine☆31Updated 10 months ago
- Effective Algebraic Topology in Haskell☆90Updated last year
- Nightly builds☆23Updated this week
- A Lean file formatter☆69Updated 2 years ago
- This project converts structured Lean code into an interactive browser game.☆77Updated 2 years ago
- A WIP definitional (co)datatype package for Lean4☆45Updated last month
- A database of small finite categories☆14Updated last year
- Schemes in Lean (v2)☆44Updated 5 years ago
- A slow-paced introduction to reflection in Agda. ---Tactics!☆104Updated 3 years ago
- LaTeX code for a paper on lean's type theory☆151Updated 3 years ago
- High level commands to declare a hierarchy based on packed classes☆103Updated 2 weeks ago
- agda-mode on VS Code☆181Updated last week
- Source code for the nLab☆189Updated 8 months ago
- Write C shims from within Lean code.☆78Updated 4 months ago
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.☆65Updated last year
- Agda as a collaborative multiplayer game☆38Updated last year