aya-prover / aya-dev
A proof assistant and a dependently-typed language
☆310Updated this week
Alternatives and similar repositories for aya-dev:
Users that are interested in aya-dev are comparing it to the libraries listed below
- ntype cafe summer school resources☆136Updated 8 months ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆183Updated this week
- Minimal implementations for dependent type checking and elaboration☆642Updated last month
- History of type theory (Chinese).☆335Updated last week
- Cicada Language (solo version)☆128Updated 2 months ago
- Cicada Language (PLCT little team)☆92Updated 2 months ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆312Updated this week
- A formalization of the textbook Elements of Set Theory☆59Updated 3 years ago
- Lean 函数式编程☆27Updated 7 months ago
- ☆227Updated 7 months ago
- 《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版☆211Updated this week
- Metaprogramming, verified meta-theory and implementation of Coq in Coq☆426Updated this week
- ☆11Updated 3 weeks ago
- 😎TT☆225Updated last year
- Visual Studio Code extension for Coq☆365Updated this week
- agda-mode on VS Code☆173Updated this week
- Visual Studio Code Extension and Language Server Protocol for Coq☆162Updated last week
- Coq集合论中文教程☆44Updated 3 years ago
- Neon lights in the night tonight and stars that shine in the open sky☆43Updated last year
- RowScript programming language, making a better browser world☆119Updated last week
- 编译原理相关的工作岗位收集☆87Updated 6 years ago
- A proof assistant for higher-dimensional type theory☆168Updated this week
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆363Updated this week
- The "batteries included" extended library for the Lean programming language and theorem prover☆288Updated this week
- Multi platform setup for Coq, Coq libraries and tools☆193Updated last month
- A new Categories library for Agda☆374Updated last week
- ☆238Updated last week
- Selected Papers of Dana S. Scott☆157Updated 8 months ago