https://bitbucket.org/akaposi/prop
History
Tip revision: 342f0758427932316130a5a5facbeb6844c55c17 authored by Ambrus Kaposi on 02 June 2022, 14:03:40 UTC
add supplementary link and remove negative spaces
Tip revision: 342f075
File Mode Size
Func
Bot.agda -rw-r--r-- 870 bytes
CwF.agda -rw-r--r-- 5.3 KB
Func.agda -rw-r--r-- 2.8 KB
Props.agda -rw-r--r-- 11.2 KB
Sigma.agda -rw-r--r-- 5.6 KB
Top.agda -rw-r--r-- 722 bytes

back to top