MatthewHepburn / FSM-WorkbenchLinks
Create and simulate finite state machines in your browser. Includes interactive exercises.
☆10Updated 7 years ago
Alternatives and similar repositories for FSM-Workbench
Users that are interested in FSM-Workbench are comparing it to the libraries listed below
Sorting:
- ☆164Updated 5 years ago
- CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory☆228Updated 2 months ago
- A library of mechanised undecidability proofs in the Coq proof assistant.☆119Updated 2 months ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆128Updated last year
- Elsa is a lambda calculus evaluator☆187Updated 3 months ago
- Analytic sampler compiler for combinatorial systems☆30Updated 2 years ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆114Updated 2 weeks ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆107Updated 3 years ago
- A formalization of category theory in the Coq proof assistant.☆97Updated 7 months ago
- Lean Library currently studying for a degree at Imperial College☆226Updated 4 months ago
- Mathematical Components (the Book)☆145Updated last year
- Women in Programming Languages and Software Engineering Research☆172Updated 6 months ago
- Homotopy theory in Coq.☆88Updated 14 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆246Updated 10 years ago
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆115Updated 2 weeks ago
- A proof of false in Coq.☆98Updated 5 years ago
- Digital images used as illustrations in the Open Logic Project☆7Updated 8 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆59Updated 8 months ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆96Updated 4 years ago
- ☆8Updated 7 years ago
- SampCert : Verified Differential Privacy☆75Updated last month
- ☆23Updated 3 years ago
- Selected Papers of Dana S. Scott☆162Updated last year
- Implementation of the λΠ-calculus modulo rewriting☆209Updated last month
- A wiki for collaborative work on totally legitimate "category theory"☆114Updated last year
- Lean for the Curious Mathematician 2020☆67Updated last year
- A function definition package for Coq☆232Updated 2 weeks ago
- Convert Haskell source code to Coq source code☆281Updated 4 years ago
- Lecture notes on univalent foundations of mathematics with Agda☆229Updated last year
- Categorical logic from a categorical point of view☆79Updated last year