bonak

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 23, 2024 — Jul 23, 2025 Showing page 1 of 33 Search / Filter on:
ci/coq-action: supply opam_file	Ramkumar Ramachandra	More...				19 days ago
paper: NFC formatting fix	Ramkumar Ramachandra	More...				about 1 month ago
coq-action: strip unnecessary permissions hack	Ramkumar Ramachandra	More...				about 1 month ago
paper, vType: changes from final version	Ramkumar Ramachandra	More...				about 1 month ago
README: polish	Ramkumar Ramachandra	More...				9 months ago
README: update with link to paper and ongoing work	Ramkumar Ramachandra	More...				9 months ago
LeYoneda: clean detritus; polish README	Ramkumar Ramachandra	More...				9 months ago
gendoc.sh: add small coqdoc helper	Ramkumar Ramachandra	More...				9 months ago
opam: downgrade dune for CI	Ramkumar Ramachandra	More...				9 months ago
paper: update after mscs review	Ramkumar Ramachandra	More...				9 months ago
vType: strip ongoing work adding degeneracies	Ramkumar Ramachandra	More...				9 months ago
Merge branch 'le-typeclass'	Ramkumar Ramachandra	More...				9 months ago
vType: minor progress	Ramkumar Ramachandra	More...				10 months ago
dune: bump coq version to 8.20	Ramkumar Ramachandra	More...				10 months ago
README: minor typos, strip axiom	Ramkumar Ramachandra	More...				10 months ago
A version of mkDgnPaintingType which works (abstracting over LiftDgn).	Hugo Herbelin	More...				about 1 year ago
Removal index p of restrFrame	Hugo Herbelin	More...				about 1 year ago
Notation: clean up unused notation; squelch warning	Ramkumar Ramachandra	More...				about 1 year ago
mkDgnPainting: underlying problem	Ramkumar Ramachandra	More...				about 1 year ago
Adding sigT_commute.	Hugo Herbelin	More...				about 1 year ago
Making q explicit in cohDgnRestrPainting.	Hugo Herbelin	More...				about 1 year ago
mkCohDgnRestrLayer: finish	Ramkumar Ramachandra	More...				about 1 year ago
One step more	Hugo Herbelin	More...				about 1 year ago
Continued	Hugo Herbelin	More...				about 1 year ago
Implicit arg of cohDgnRestrFrame.	Hugo Herbelin	More...				about 1 year ago
fix some minor issues in new proofs	Ramkumar Ramachandra	More...				about 1 year ago
First step in mkCohDgnRestrLayer	Hugo Herbelin	More...				about 1 year ago
More debugging information in solve_leY.	Hugo Herbelin	More...				about 1 year ago
cohDgnRestrPainting: new statement	Ramkumar Ramachandra	More...				about 1 year ago
mkDgnFrameBlock: finish!	Ramkumar Ramachandra	More...				about 1 year ago

←
1
2
3
4
5
6
7
8
9
…
32
33
→