bonak

Settings | Report Duplicate

0

I Use This!

Low Activity

Commits : Listings

Analyzed about 22 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 9 of 30 Search / Filter on:
paper: MAJ	Ramkumar Ramachandra	More...				over 1 year ago
paper: MAJ	Ramkumar Ramachandra	More...				over 1 year ago
paper: MAJ	Ramkumar Ramachandra	More...				over 1 year ago
paper: MAJ	Ramkumar Ramachandra	More...				over 1 year ago
paper: minor polish	Ramkumar Ramachandra	More...				over 1 year ago
paper: minor polish	Ramkumar Ramachandra	More...				over 1 year ago
paper: port over to using bibtex	Ramkumar Ramachandra	More...				over 1 year ago
paper: fix simplicial dia	Ramkumar Ramachandra	More...				over 1 year ago
paper: fix kerning for \star	Ramkumar Ramachandra	More...				over 1 year ago
paper: label diagrams; kerning problem with 0\star0	Ramkumar Ramachandra	More...				over 1 year ago
paper: update diagrams; include UIP_refl	Ramkumar Ramachandra	More...				over 1 year ago
paper: MAJ	Ramkumar Ramachandra	More...				over 1 year ago
paper: Borrow a couple of paras from param2	Ramkumar Ramachandra	More...				over 1 year ago
paper: MAJ	Ramkumar Ramachandra	More...				over 1 year ago
paper: polish	Ramkumar Ramachandra	More...				over 1 year ago
paper: MAJ semi-{simplicial, cubical} sets	Ramkumar Ramachandra	More...				over 1 year ago
art.cls: MAJ	Ramkumar Ramachandra	More...				over 1 year ago
paper: define semi-{simplicial, cubical} sets combinatorially	Ramkumar Ramachandra	More...				over 1 year ago
paper: typeset definition of coh2	Ramkumar Ramachandra	More...				over 1 year ago
paper: include table in Overture	Ramkumar Ramachandra	More...				over 1 year ago
paper: fix some citations	Ramkumar Ramachandra	More...				over 1 year ago
README: note issue # for SProp bug	Ramkumar Ramachandra	More...				over 1 year ago
dune-project: bump coq, dune stanza	Ramkumar Ramachandra	More...				over 1 year ago
opam: bump coq and dune	Ramkumar Ramachandra	More...				over 1 year ago
paper: ws changes	Ramkumar Ramachandra	More...				over 1 year ago
paper: wrap Hugo's contrib-para	Ramkumar Ramachandra	More...				over 1 year ago
Proposal for beginning of overture.	Hugo Herbelin	More...				over 1 year ago
paper: fix alignmented of iter-param diagram	Ramkumar Ramachandra	More...				over 1 year ago
paper: MAJ	Ramkumar Ramachandra	More...				over 1 year ago
paper: better typesetting for iterated-param	Ramkumar Ramachandra	More...				over 1 year ago

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