lynn / lidysisku
Fast lojban dictionary https://foldr.moe/lidysisku/
☆13Updated last month
Related projects ⓘ
Alternatives and complementary repositories for lidysisku
- Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos☆52Updated this week
- Natural language tactics to teach mathematics using Lean 4☆50Updated last month
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆69Updated last week
- ☆24Updated 5 months ago
- ☆14Updated 11 months ago
- ☆63Updated 2 years ago
- Natural Number Game☆112Updated last week
- A proof assistant for higher-dimensional type theory☆146Updated this week
- A Lean file formatter☆62Updated last year
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- ☆51Updated last week
- ☆156Updated last week
- Experiments with SAT solvers with proofs in Lean 4☆53Updated 4 months ago
- A formal proof of the independence of the continuum hypothesis☆117Updated 2 months ago
- Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information abou…☆27Updated 10 months ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆22Updated this week
- A constructive proof assistant for second order logic.☆32Updated last month
- A Language with Dependent Data and Codata Types☆55Updated this week
- Document Generator for Lean 4☆66Updated this week
- ☆17Updated this week
- Lean 4 kernel / 'external checker' written in Lean 4☆72Updated last week
- Agda as a collaborative multiplayer game☆31Updated 3 weeks ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆114Updated this week
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…☆44Updated 8 months ago
- Type Checking in Lean 4☆24Updated 2 months ago
- A WIP definitional (co)datatype package for Lean4☆27Updated last week
- A digital archive of category theory papers.☆20Updated 8 months ago
- Lecture notes on realizability☆65Updated last month
- This aims to be the most pretentious implementation of stlc in existence☆60Updated 2 years ago
- Tactics for discharging Lean goals into SMT solvers.☆103Updated 2 weeks ago