/msc/thesis/repo-archive/agda/src/PiWare/ProofSamples/

0 directories 3 files 6.9 KiB total
List Grid
Name
Size Modified
Up
AndN.lagda
778 B
BoolTrioComb.lagda
3.0 KiB
BoolTrioSeq.lagda
3.1 KiB