Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Overview
Active
Stale
All
lean
844f22f4
·
final
·
Dec 10, 2019
old-lean
2fbaa134
·
final commit before full conversion to agda
·
Jan 30, 2020
pinned
9ca07a5f
·
last commit before major revision of arity type
·
Feb 11, 2020
nat-arity
deb5a9ea
·
major progress
·
Feb 13, 2020
reformulated
e4878db6
·
Changing files to uppercase names
·
Feb 20, 2020
3-obs-0-composing-homs-gives-a-hom
7009e306
·
add file specifying we use stdlib
·
Feb 21, 2020
siva
fbdfb47f
·
fixing subuniv stuff
·
Apr 25, 2020
!9
newwill
0a0b9bc2
·
converted from lagda.rst to lagda
·
Jun 27, 2020
!8
will
217d7625
·
dk
·
Jun 27, 2020
dev
5678363c
·
still not working, but closer
·
Nov 14, 2020
latest
c70b4f0d
·
reorg
·
Jan 11, 2021
eqv
7af5576f
·
new development with equivalences instead of general relations
·
Feb 02, 2021
andreasabel-master-patch-63650
e2364d6d
·
Typo in Truncation.lagda:
·
Mar 26, 2021
!15
33-are-two-definitions-of-congruence-relation-really-needed
db022fab
·
improvements
·
Mar 27, 2021
revert-e9eedff6
f9910d21
·
Revert "add UALib.lagda to generate-tex"
·
Mar 28, 2021
inhabited
11a0f9b4
·
experimental changes
·
Mar 31, 2021
noXX
d41afc6b
·
minor mod
·
Apr 01, 2021
!18
nogfe
5a0743cb
·
improvements
·
Apr 04, 2021
!19
mhe-notation
527a0bb8
·
improve
·
Apr 21, 2021
standard-agda
3e0ef529
·
standard agda version: converted from mhe notation
·
Apr 21, 2021
Prev
1
2
Next