All Git Users → wenkokke

3 open source projects by wenkokke

[ Open user page on Github ]

Test suite for implementations of Featherweight Generic Go

✭ 34

wherein I implement several substructural logics in Agda

✭ 24

Agda ruby paper agda substructural-logics

Proof automation – for Agda, in Agda.

✭ 38

Agda ruby paper agda no-longer-maintained proof-automation

1-3 of 3 user projects