All Git Users → lambdabetaeta

1 open source projects by lambdabetaeta

[ Open user page on Github ]

1. modal-logics

Agda formalisation of dual-context constructive modal logics.

✭ 16

1-1 of 1 user projects