bonak

Settings | Report Duplicate

0

I Use This!

Low Activity

Commits : Listings

Analyzed about 17 hours ago. based on code collected about 18 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
May 31, 2023 — May 31, 2024 Showing page 24 of 30 Search / Filter on:
[Cubical] Find implicit arguments and fill them up in layer	Ramkumar Ramachandra	More...				almost 4 years ago
Little simplification: - change p into its predecessor in *layer - expand le_pqrn_trans - remove useless lemmas	Hugo Herbelin	More...				almost 4 years ago
[Cubical] Attempt to side-step stack-overflow	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Stack overflow: Coq bug!	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Use inversion, since it works in vanilla Coq	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Minor indentation error	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Stuck again	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Two more rews	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] More uniqs	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Fix parens	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Abbreviate le_unique with its 4x _	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] A few more le_unique calls	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Use rew and le_unique; breakage	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Get rid of HoTT	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Pessimissm sets in	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Introduce le_dec to simplify	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] More hacking with standard patterns	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Proceed with craziness	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Crazy stuff	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Preparing for a huge shift	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Fix sublayer in the O case	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Complete the O case	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Base case works	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] (ε : side)	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] More implicit	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Notation for adjust_weaken	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Some cosmetic br changes	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Minor cleanup	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Minor cleanup	Ramkumar Ramachandra	More...				almost 4 years ago
[Cubical] Minor improvement	Ramkumar Ramachandra	More...				almost 4 years ago

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