0
I Use This!
Moderate Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 2 days ago.
Mar 26, 2023 — Mar 26, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
housekeeping/bonak.opam: bump packages More... 12 days ago
Typo universe level More... about 1 month ago
prettify: clean up a few more annotations More... about 1 month ago
prettify: fix missed useless prefix annotation More... about 1 month ago
prettify: strip some more types More... about 1 month ago
prettify: change argument order, strip useless types More... about 1 month ago
Primitive Projections in HSet.v More... about 1 month ago
Use primitive projections, use qualified imports More... about 2 months ago
Adding .vscode to .gitignore More... 2 months ago
Small comments More... 2 months ago
paper: double-spacing, declare competing interests More... 3 months ago
Spell-checking More... 3 months ago
paper: arxiv-specific tweak to prose More... 3 months ago
paper: final polish More... 3 months ago
dune, actions: housekeeping More... 3 months ago
README: remove ref to closed coq bug More... 3 months ago
paper: clean detritus More... 3 months ago
paper: final polish More... 3 months ago
paper: misc More... 3 months ago
paper: minor polish More... 3 months ago
paper: major polish More... 3 months ago
paper: some more polish More... 3 months ago
paper: major polish More... 3 months ago
paper: polish Future Work More... 4 months ago
paper: minor polish of footnote More... 4 months ago
paper: minor polish More... 4 months ago
paper: minor pluralization More... 4 months ago
paper: minor polish More... 4 months ago
paper: major work on last two sections More... 4 months ago
paper: some additions; remove useless float More... 4 months ago