johnyob / University-Notes
A complete collection of my undergraduate notes
☆30Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for University-Notes
- ☆11Updated last year
- Toy programming language☆18Updated 6 months ago
- Reference compiler for c0☆29Updated 3 months ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆36Updated this week
- Tactics for discharging Lean goals into SMT solvers.☆106Updated this week
- A stepping debugger for Standard ML (SML)☆23Updated 9 months ago
- ☆77Updated 2 months ago
- Python bindings for the Coq interactive proof assistant☆50Updated 2 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆102Updated 5 months ago
- ☆23Updated last month
- A very small implementation of the Calculus of Constructions for experimentation purposes☆14Updated 6 years ago
- Experiments in automation for Lean☆73Updated 2 weeks ago
- ☆35Updated 3 years ago
- Source code for the Mathematics in Lean tutorial.☆91Updated last week
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆56Updated 8 months ago
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆68Updated 9 months ago
- Experiments with SAT solvers with proofs in Lean 4☆53Updated 4 months ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆22Updated this week
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆64Updated 7 months ago
- Dromedary is an experimental subset of OCaml, using constraint-based type inference!☆47Updated 3 weeks ago
- CIS 6700, Spring 2023☆15Updated last year
- Logic and Mechanized Reasoning☆87Updated 4 months ago
- A proof assistant for higher-dimensional type theory☆147Updated this week
- The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…☆33Updated last week
- PL conference deadline countdowns☆52Updated 2 weeks ago
- This aims to be the most pretentious implementation of stlc in existence☆60Updated 2 years ago
- Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to re…☆15Updated 4 months ago
- 🦠 Reusable components based on algebraic effects☆47Updated last month
- A Cheat Sheet for Coq Developers who want to try LeanProver☆15Updated last year
- Intuitive, type-safe expression quotations for Lean 4.☆75Updated 2 weeks ago