All Git Users → jespercockx

2 open source projects by jespercockx

[ Open user page on Github ]

1. popl19-tutorial

Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais

✭ 23

HTML Agda CSS Makefile shell c

A TACtic library for Agda

✭ 47

Agda tactics agda proof-search

1-2 of 2 user projects