bonak

Settings | Report Duplicate

0

I Use This!

Low Activity

Commits : Listings

Analyzed about 15 hours ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
May 07, 2023 — May 07, 2024 Showing page 8 of 30 Search / Filter on:
NType: simplify mkTypeSn	Ramkumar Ramachandra	More...				over 1 year ago
paper: minor polish	Ramkumar Ramachandra	More...				over 1 year ago
paper: move stuff around	Ramkumar Ramachandra	More...				over 1 year ago
paper: write formal construction in ett/itt	Ramkumar Ramachandra	More...				over 1 year ago
tab-coh-ett: update	Ramkumar Ramachandra	More...				over 1 year ago
README: STrue relying on definition UIP is not fixed	Ramkumar Ramachandra	More...				over 1 year ago
README: clean up reference to old SProp bug	Ramkumar Ramachandra	More...				over 1 year ago
paper, assets, biblio: clean up detritus	Ramkumar Ramachandra	More...				over 1 year ago
bonak.opam: bump deps; require coq.8.16.1	Ramkumar Ramachandra	More...				over 1 year ago
paper: adapt to new simplified \joinargs	Ramkumar Ramachandra	More...				over 1 year ago
paper: finish intuitive explanation	Ramkumar Ramachandra	More...				over 1 year ago
paper: first draft at explaining coh*	Ramkumar Ramachandra	More...				over 1 year ago
paper: MAJ	Ramkumar Ramachandra	More...				over 1 year ago
paper: minor additions	Ramkumar Ramachandra	More...				over 1 year ago
paper: more intuition	Ramkumar Ramachandra	More...				over 1 year ago
paper: new tikzpicture!	Ramkumar Ramachandra	More...				over 1 year ago
paper: minor polish	Ramkumar Ramachandra	More...				over 1 year ago
paper: 01 to LR change	Ramkumar Ramachandra	More...				over 1 year ago
paper: mark two more restrf	Ramkumar Ramachandra	More...				over 1 year ago
paper: more detail in diagram	Ramkumar Ramachandra	More...				over 1 year ago
art.cls: MAJ	Ramkumar Ramachandra	More...				over 1 year ago
paper: squelch a warning about overfull hbox	Ramkumar Ramachandra	More...				over 1 year ago
paper: polish	Ramkumar Ramachandra	More...				over 1 year ago
paper: reorg intuition a bit	Ramkumar Ramachandra	More...				over 1 year ago
paper: provide nice pic for intuition; X_0, X_1, ...	Ramkumar Ramachandra	More...				over 1 year ago
paper: minor polish	Ramkumar Ramachandra	More...				over 1 year ago
paper: polish	Ramkumar Ramachandra	More...				over 1 year ago
paper: MAJ	Ramkumar Ramachandra	More...				over 1 year ago
paper: macros; minor polish	Ramkumar Ramachandra	More...				over 1 year ago
paper: hottbook bib	Ramkumar Ramachandra	More...				over 1 year ago

←
1
2
3
4
5
6
7
8
9
10
11
12
…
29
30
→