Search Results - RepositoryStats

142

3.6k

mit

73

A modern proof language

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

Created 2018-07-13

274 commits to master branch, last one 18 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

40

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