Logical Verification 2022-2023 course at VU Amsterdam
☆18Jan 27, 2024Updated 2 years ago
Alternatives and similar repositories for logical_verification_2022
Users that are interested in logical_verification_2022 are comparing it to the libraries listed below
Sorting:
- Matroids in Lean☆18Dec 23, 2023Updated 2 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- ☆16Jan 4, 2021Updated 5 years ago
- Formalizing results about the Mandelbrot set in Lean☆29Dec 31, 2025Updated 2 months ago
- A formalization of the Rubik's cube group☆28Oct 1, 2020Updated 5 years ago
- Logic and Mechanized Reasoning☆115Jan 11, 2026Updated last month
- A semantic Extension of TeX/LaTeX☆56Feb 16, 2026Updated 2 weeks ago
- ☆25Dec 10, 2021Updated 4 years ago
- Write formal proofs in natural language and LaTeX.☆46Dec 18, 2025Updated 2 months ago
- ☆11May 31, 2025Updated 9 months ago
- Template for a (PhD) thesis☆11Nov 5, 2025Updated 4 months ago
- The Complex Number Game. Make the complex numbers in Lean.☆42Nov 12, 2022Updated 3 years ago
- Source code for the Mathematics in Lean tutorial.☆186Aug 20, 2025Updated 6 months ago
- Pascal2 Harvest project QuEst☆14Sep 15, 2014Updated 11 years ago
- EME for ArcGIS Pro assists GIS professionals in creating, editing, and validating metadata that complies with EPA’s Metadata Technical Sp…☆12Dec 10, 2025Updated 2 months ago
- ☆11Oct 31, 2021Updated 4 years ago
- This RocketchatApp validates uploaded images against the Microsoft PhotoDNA cloud service and quarantines those identified as child abuse…☆12Nov 17, 2025Updated 3 months ago
- SageMath implementation of the Isogeny-Based PKE FESTA☆10Aug 18, 2023Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Matrix Product State algorithm for computing characters of the symmetric group S_n☆11Sep 26, 2025Updated 5 months ago
- Tools and models for estimating Filecoin energy use from on-chain proofs☆11Jun 14, 2024Updated last year
- Tim Button's open textbook on set theory☆41Jun 25, 2025Updated 8 months ago
- ⌥ Simple Backus–Naur form (BNF) LaTeX package☆44Oct 31, 2025Updated 4 months ago
- Initial commit☆12Aug 14, 2023Updated 2 years ago
- ☆10Jun 14, 2020Updated 5 years ago
- ☆16Jun 22, 2024Updated last year
- Materials for the virtual NIMBLE workshop, May 26-28, 2021. For logistical information, please look below the file listing.☆14May 28, 2021Updated 4 years ago
- ☆10Sep 8, 2021Updated 4 years ago
- ☆10Aug 2, 2016Updated 9 years ago
- ☆10May 2, 2022Updated 3 years ago
- VKCapture with KMSGrab included☆12Sep 9, 2024Updated last year
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated 9 months ago
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- ☆11Mar 18, 2025Updated 11 months ago
- My experiment about implementing Row Polymorphism in current Haskell☆16Dec 9, 2018Updated 7 years ago
- An attempt at writing a Lattice Boltzmann CFD simulator in Rust☆10Apr 29, 2019Updated 6 years ago
- Conceal a disk partition from Windows☆13Feb 24, 2016Updated 10 years ago
- Examples from performance tuning workshop☆11Aug 8, 2024Updated last year