bonak

Settings | Report Duplicate

0

I Use This!

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
May 07, 2023 — May 07, 2024 Showing page 29 of 30 Search / Filter on:
[category => Category] And similar cased-filenames	Ramkumar Ramachandra	More...				about 4 years ago
[Cleanup] Move Peano stuff from ZFC to Basics	Ramkumar Ramachandra	More...				about 4 years ago
[zfc/zfc => HoTT/ZFC] Clean up a bit	Ramkumar Ramachandra	More...				about 4 years ago
[HoTT/Basics] Housekeeping	Ramkumar Ramachandra	More...				about 4 years ago
[HoTT/SProp] Some fundamental facts about SProp	Ramkumar Ramachandra	More...				about 4 years ago
[basics] Introduce Peano naturals	Ramkumar Ramachandra	More...				about 4 years ago
[zfc] Some notes from Hugo	Ramkumar Ramachandra	More...				over 4 years ago
[basics] Add one more example from Pedrot	Ramkumar Ramachandra	More...				over 4 years ago
[HoTT/basics] Grounding in some basic type theory	Ramkumar Ramachandra	More...				over 4 years ago
[zfc] Define neq lemma; no proof yet	Ramkumar Ramachandra	More...				over 4 years ago
[zfc] Exercise3 with proofs	Ramkumar Ramachandra	More...				over 4 years ago
[zfc] With union, intersect; broken proofs	Ramkumar Ramachandra	More...				over 4 years ago
[zfc] Do a refl proof with axioms	Ramkumar Ramachandra	More...				over 4 years ago
[cat] More hacking with Hugo	Ramkumar Ramachandra	More...				over 4 years ago
[cat] Use 'simple refine' instead of econstructor	Ramkumar Ramachandra	More...				over 4 years ago
[cat] Monoid: start proof with econstructor	Ramkumar Ramachandra	More...				over 4 years ago
[cat, ncat] Move Monoid to cat, and typecheck	Ramkumar Ramachandra	More...				over 4 years ago
[ncat] Another session with Hugo	Ramkumar Ramachandra	More...				over 4 years ago
[ncat] Clean out old implementation	Ramkumar Ramachandra	More...				over 4 years ago
[ncat] Use record	Ramkumar Ramachandra	More...				over 4 years ago
[ncat] ArityAndSign	Ramkumar Ramachandra	More...				over 4 years ago
[ncat] Fix some definitions; uniform variable-naming	Ramkumar Ramachandra	More...				over 4 years ago
[category, ncat] Minor re-org	Ramkumar Ramachandra	More...				over 4 years ago
[valis] Hacking with Hugo	Ramkumar Ramachandra	More...				over 4 years ago
[valis] Some rudiments: higher categories	Ramkumar Ramachandra	More...				over 4 years ago
[relational] Other case for catch rule	Ramkumar Ramachandra	More...				over 4 years ago
[Makefile] Simple build	Ramkumar Ramachandra	More...				over 4 years ago
[relational] Copy over rules for exceptions	Ramkumar Ramachandra	More...				over 4 years ago
[relational] Factor out w_0 for readability	Ramkumar Ramachandra	More...				over 4 years ago
[relational] Progress on Exc versus Pure	Ramkumar Ramachandra	More...				over 4 years ago

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