aboutsummaryrefslogtreecommitdiff
path: root/hott
diff options
context:
space:
mode:
authorJosh Chen2020-07-28 14:10:34 +0200
committerJosh Chen2020-07-28 14:10:34 +0200
commit6b27aa578257a6f4db9242b413a8008962b7f2e1 (patch)
treef49e1decc18bddb4a2ccbc4b181d470eac77ed03 /hott
parent223a253732ced7d89dcea506ab56d92d1cfe8281 (diff)
New `assuming` proof command for elaborated assumptions
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions