MatthewHepburn / FSM-WorkbenchLinks
Create and simulate finite state machines in your browser. Includes interactive exercises.
☆11Updated 8 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:
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated last year
- Verifying encodings into propositional logic in Lean☆14Updated 2 years ago
- ☆165Updated 6 years ago
- Matroids in Lean☆18Updated 2 years ago
- Lean Library currently studying for a degree at Imperial College☆229Updated 11 months ago
- Women in Programming Languages and Software Engineering Research☆173Updated last month
- Dice Language Support for VS Code☆10Updated 5 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Updated last year
- A LaTeX package for formatting meta-theory.☆46Updated 5 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆205Updated 2 years ago
- ☆23Updated last year
- Lennard Jones in Lean☆21Updated 6 months ago
- Math-themed single-serving site☆46Updated 4 years ago
- Advent of Code 2020 solutions in Lean 4☆27Updated 5 years ago
- A Henkin-style completeness proof for the modal logic S5☆17Updated 4 years ago
- ☆64Updated 3 years ago
- Official repository of the Autosubst 2 project.☆25Updated 2 years ago
- ☆25Updated 4 years ago
- A gamification of the theorems in MATH40002 Analysis 1☆83Updated 3 years ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆31Updated 6 months ago
- A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪☆25Updated 2 weeks ago
- Formal verification of parts of the Stacks Project in Lean☆22Updated 4 years ago
- ☆16Updated last year
- ☆11Updated 5 months ago
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Updated 10 months ago
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆221Updated 3 years ago
- ☆16Updated 5 years ago
- Intuitive, type-safe expression quotations for Lean 4.☆101Updated 2 weeks ago
- This project contains various supporting libraries for lean to reason about protocols.☆43Updated 8 years ago
- Yet another plugin tutorial, this time as an exercise for 598☆38Updated 2 years ago