All Git Users → michaelsproul

2 open source projects by michaelsproul

[ Open user page on Github ]

1. Dblib Linear

Formalisation of the linear lambda calculus in Coq

✭ 10

coq lambda-calculus proof

2. rust sequence trie

Ergonomic trie data structure

✭ 22

rust trie data-structures

1-2 of 2 user projects