djvelleman / STG4Links
Set Theory Game
☆22Updated 2 months ago
Alternatives and similar repositories for STG4
Users that are interested in STG4 are comparing it to the libraries listed below
Sorting:
- Mathlib search tool☆116Updated 3 weeks ago
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆27Updated 2 months ago
- Make/Encode some basic logic puzzles☆17Updated last year
- A formal proof of the independence of the continuum hypothesis☆140Updated last year
- LaTeX code for a paper on lean's type theory☆157Updated 3 years ago
- Lean documentation authoring tool☆248Updated this week
- A Lean file formatter☆70Updated 2 years ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆172Updated 2 weeks ago
- Goldbach conjecture = 25-state turing machine☆33Updated 11 months ago
- Markdown file of the list and explanations of all mathlib4 tactics☆53Updated 2 years ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆67Updated 3 weeks ago
- Natural Number Game☆273Updated 2 weeks ago
- ☆270Updated 10 months ago
- Code samples for Lean 4☆76Updated 2 years ago
- An experimental proof assistant based on a type theory for synthetic ∞-categories.☆256Updated 2 months ago
- A simple raytracer written in Lean 4☆143Updated last year
- Leaff is a diff tool for Lean environments☆26Updated 11 months ago
- Natural language tactics to teach mathematics using Lean 4☆111Updated last month
- maze game encoded in Lean 4 syntax☆67Updated 6 months ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆282Updated 3 months ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆130Updated 4 months ago
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆24Updated 3 weeks ago
- Experiments on automation for Lean☆152Updated last week
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆32Updated 3 years ago
- A WIP definitional (co)datatype package for Lean4☆46Updated 2 months ago
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆89Updated 7 months ago
- Logic and Mechanized Reasoning☆113Updated 2 months ago
- Intuitive, type-safe expression quotations for Lean 4.☆101Updated 3 weeks ago
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆102Updated 3 weeks ago
- Formalization of Mathematical Logic☆193Updated this week