Search Results - RepositoryStats

143

3.6k

mit

76

A modern proof language

moonad formality type-theory proof-language theorem-prover dependent-types lambda-calculus proof-languages functional-programming

Created 2018-07-13

279 commits to master branch, last one 26 days ago

26

98

mit

11

[outdated] A moddable MOBA in Formality

game moba taelin formality game-development functional-programming

Created 2019-12-18

685 commits to master branch, last one 4 years ago

11

41

mit

8

Specification of the Formality proof and programming language

formality type-system lambda-calculus programming-language funcional-programming

Created 2020-03-23

297 commits to master branch, last one 4 years ago