bonak

Settings | Report Duplicate

0

I Use This!

Low Activity

Commits : Listings

Analyzed about 4 hours ago. based on code collected about 19 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
May 19, 2023 — May 19, 2024 Showing page 28 of 30 Search / Filter on:
[Cubical] Refine sublayer	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] The record now type-checks	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Supply type of D in layer and cube	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] MAJ	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] hd is in conclusion	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Make Hn' implicit everywhere except csp	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] D is of type csp Hn'	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Swap a couple of fields for consistency	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Mise à jour	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] More hacking with Hugo	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] forall n', n' <= n prefix	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Fix one proof with Peano.le_n	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Start filling code with problems!	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] l' and l are diff universes	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Restore sanity in universes!	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] One major error in Record Cubical	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Some syntactic fixes	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] More superficial progress	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Superficial progress on 10-field Rec	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] A monstrous 10-field def in-prep	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Fix forall syntax in Coq	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Algebraic l univ + some other nice changes	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Globalize n in Cubical record	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Some WIP for Cubical record first	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Universe can be decl only inside Section	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical.v] Dump collaborative coding session	Ramkumar Ramachandra	More...				almost 4 years ago
[HoTT] Predicativity: Start up with Hugo	Ramkumar Ramachandra	More...				about 4 years ago
[HoTT] Minor changes	Ramkumar Ramachandra	More...				about 4 years ago
[HoTT/Predicativity] Scratch; have to figure out syntax	Ramkumar Ramachandra	More...				about 4 years ago
[Re-org] theories/{Category, HoTT}	Ramkumar Ramachandra	More...				over 4 years ago

←
1
2
…
22
23
24
25
26
27
28
29
30
→