Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / gebner/hott3 issues and pull requests
#16 - Adjoint and two-adjoint equivalences
Pull Request -
State: closed - Opened by daniel-carranza almost 5 years ago
- 2 comments
#15 - Adding adjoint and 2-adjoint equivalences
Pull Request -
State: closed - Opened by RyanSandford about 5 years ago
- 5 comments
#14 - Port of sum.hlean
Pull Request -
State: closed - Opened by javra about 6 years ago
#13 - Latest release for CI instead of broken nightly
Pull Request -
State: closed - Opened by slaykovsky over 6 years ago
- 1 comment
#13 - Latest release for CI instead of broken nightly
Pull Request -
State: closed - Opened by slaykovsky over 6 years ago
- 1 comment
#12 - fix unit.rec_on in init/trunc.lean
Pull Request -
State: closed - Opened by forked-from-1kasper over 6 years ago
- 1 comment
#11 - port fiber
Pull Request -
State: closed - Opened by felixwellen almost 7 years ago
- 1 comment
#10 - noncomputable defs
Issue -
State: closed - Opened by fpvandoorn almost 7 years ago
- 2 comments
#9 - recursors eliminating to `Type _`
Issue -
State: closed - Opened by fpvandoorn about 7 years ago
- 2 comments
#8 - ported cube.lean, pullback.lean; fixed universe issue in square.lean
Pull Request -
State: closed - Opened by jonas-frey about 7 years ago
#7 - coercion from pType to Type
Issue -
State: closed - Opened by fpvandoorn about 7 years ago
- 1 comment
#6 - Slightly unexpected definitional equalities
Issue -
State: closed - Opened by gebner about 7 years ago
- 4 comments
#5 - make idp_rec_on a recursor
Issue -
State: closed - Opened by fpvandoorn about 7 years ago
- 4 comments
#4 - duplicate equality lemmas
Issue -
State: closed - Opened by fpvandoorn about 7 years ago
- 2 comments
#3 - same definition with different names
Issue -
State: closed - Opened by fpvandoorn about 7 years ago
- 3 comments
#2 - coercions from equiv
Issue -
State: closed - Opened by fpvandoorn about 7 years ago
- 2 comments
#1 - port squareover
Pull Request -
State: closed - Opened by fpvandoorn over 7 years ago
- 2 comments