lollobaldo / Inf2D-cw1--autotester
☆24Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for Inf2D-cw1--autotester
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆292Updated 8 months ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆503Updated 3 months ago
- ☆223Updated 3 months ago
- Welcome to Better Informatics. The student run website for students in the School of Informatics.☆68Updated 3 weeks ago
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆287Updated 9 months ago
- Visual Studio Code extension for Coq☆344Updated this week
- Create and simulate finite state machines in your browser. Includes interactive exercises.☆9Updated 7 years ago
- Several translations of segment trees for CMU's 15-451 (Algorithms).☆21Updated 3 years ago
- Lean Library currently studying for a degree at Imperial College☆228Updated last year
- An introduction to programming language theory in Agda☆1,372Updated this week
- University of Edinburgh Programming Club☆56Updated 4 years ago
- Mathematical Components☆588Updated this week
- Formal Reasoning About Programs☆667Updated 5 months ago
- A new Categories library for Agda☆369Updated last week
- Experimental implementation of Cubical Type Theory☆572Updated last year
- While language static analyzer☆10Updated 4 years ago
- Tensors and neural networks in Haskell☆1,071Updated 4 months ago
- papers of Per Martin Löf☆754Updated 9 months ago
- In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.☆292Updated 3 years ago
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆41Updated last year
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆213Updated 5 years ago
- A Coq library for Homotopy Type Theory☆1,259Updated this week
- ☆19Updated 7 years ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆243Updated last week
- The Ott tool for writing definitions of programming languages and calculi☆349Updated 2 months ago
- ☆159Updated 5 years ago
- An introductory course to Homotopy Type Theory☆362Updated 4 years ago
- A Learning Environment for Theorem Proving with the Coq proof assistant☆384Updated last year
- Lean 3 Theorem Prover (community fork)☆435Updated last year
- This coq library aims to formalize a substantial body of mathematics using the univalent point of view.☆961Updated this week