MatthewHepburn / FSM-Workbench
Create and simulate finite state machines in your browser. Includes interactive exercises.
☆9Updated 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
- A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]☆163Updated 2 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated 2 months ago
- Organization and planning for the Initial Types Club☆72Updated 2 years ago
- EPIT 2020 - Spring School on Homotopy Type Theory☆103Updated 3 years ago
- Formalization of the existence of sphere eversions☆37Updated last week
- A best-first-search theorem prover implemented in Isabelle☆34Updated 2 years ago
- ☆161Updated 5 years ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆290Updated 11 months ago
- Haskell bindings to Microsoft's Z3 API (unofficial).☆57Updated 10 months ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆82Updated 3 years ago
- This project converts structured Lean code into an interactive browser game.☆75Updated last year
- The Complex Number Game. Make the complex numbers in Lean.☆35Updated 2 years ago
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆112Updated this week
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆26Updated 3 years ago
- agda-mode on VS Code☆173Updated last week
- Real number computation software☆123Updated 2 years ago
- Categorical Logic Notes☆74Updated 2 years ago
- An experimental category theory library for Lean☆49Updated last year
- Generate Haskell code from a type☆131Updated last year
- Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality☆53Updated 2 years ago
- ☆20Updated 4 years ago
- HoTT in Lean 3☆77Updated 4 years ago
- Translation of, and commentary on, Joyal's classic paper "Une théorie combinatoire des séries formelles" (A combinatorial theory of forma…☆29Updated 6 months ago
- Categorical logic from a categorical point of view☆77Updated last year
- Programming library for Agda☆126Updated 5 months ago
- Homotopy theory in Coq.☆91Updated 13 years ago
- A gamification of the theorems in MATH40002 Analysis 1☆81Updated last year
- Lecture notes on univalent foundations of mathematics with Agda☆221Updated 9 months ago
- ☆8Updated 7 years ago
- ☆21Updated 2 years ago