lollobaldo / Inf2D-cw1--autotester
☆24Updated 3 years ago
Alternatives and similar repositories for Inf2D-cw1--autotester:
Users that are interested in Inf2D-cw1--autotester are comparing it to the libraries listed below
- Mathematical Components☆608Updated this week
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆289Updated last year
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆515Updated last month
- An introductory course to Homotopy Type Theory☆364Updated 4 years ago
- ☆228Updated 8 months ago
- A demo implementation of a simple dependently-typed language☆591Updated 4 months ago
- Experimental implementation of Cubical Type Theory☆578Updated last year
- The Ott tool for writing definitions of programming languages and calculi☆367Updated 3 months ago
- An interpreter for learning and exploring pure λ-calculus☆451Updated 3 years ago
- HoTTEST Summer School materials☆297Updated last year
- Minimal implementations for dependent type checking and elaboration☆651Updated 2 months ago
- A Learning Environment for Theorem Proving with the Coq proof assistant☆397Updated last year
- Demo for high-performance type theory elaboration☆541Updated last year
- A new Categories library for Agda☆374Updated this week
- The Agda standard library☆606Updated this week
- An introduction to programming language theory in Agda☆1,416Updated this week
- papers of Per Martin Löf☆773Updated last year
- A List of Foundational Haskell Papers☆865Updated 4 months ago
- This coq library aims to formalize a substantial body of mathematics using the univalent point of view.☆974Updated this week
- A Coq IDE build on top of Proof General's Coq mode☆355Updated 2 years ago
- Tensors and neural networks in Haskell☆1,105Updated last month
- being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathcly…☆263Updated 6 years ago
- A Coq library for Homotopy Type Theory☆1,300Updated this week
- A gently curated list of companies using Haskell in industry☆963Updated last week
- Proof assistant based on the λΠ-calculus modulo rewriting☆312Updated this week
- Repositorio de la optativa para la FCEIA☆16Updated 6 months ago
- Industrial-strength monadic parser combinator library☆940Updated last month
- An experimental library for Cubical Agda☆475Updated last week
- Proving leftpad correct two-dozen different ways☆668Updated this week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆607Updated last month