hazelgrove / hazelnut-livelits-agda

mechanization for livelits paper, https://github.com/hazelgrove/livelits-paper

https://hazel.org/

Geek Repo

Github PK Tool