https://bitbucket.org/akaposi/prop
Tip revision: 342f0758427932316130a5a5facbeb6844c55c17 authored by Ambrus Kaposi on 02 June 2022, 14:03:40 UTC
add supplementary link and remove negative spaces
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 |