openhub.net
Black Duck Software, Inc.
Black Duck Open Hub
Follow @
OH
Sign In
Join Now
Projects
People
Organizations
Tools
Blog
BDSA
Projects
People
Projects
Organizations
Forums
bonak
Settings
|
Report Duplicate
0
I Use This!
×
Login Required
Log in to Open Hub
Remember Me
Moderate Activity
Commits
: Listings
Analyzed
1 day
ago. based on code collected
2 days
ago.
Mar 26, 2023 — Mar 26, 2024
Showing page 1 of 30
Search / Filter on:
Commit Message
Contributor
Files Modified
Lines Added
Lines Removed
Code Location
Date
housekeeping/bonak.opam: bump packages
Ramkumar Ramachandra
More...
12 days ago
Typo universe level
Hugo Herbelin
More...
about 1 month ago
prettify: clean up a few more annotations
Ramkumar Ramachandra
More...
about 1 month ago
prettify: fix missed useless prefix annotation
Ramkumar Ramachandra
More...
about 1 month ago
prettify: strip some more types
Ramkumar Ramachandra
More...
about 1 month ago
prettify: change argument order, strip useless types
Ramkumar Ramachandra
More...
about 1 month ago
Primitive Projections in HSet.v
Hugo Herbelin
More...
about 1 month ago
Use primitive projections, use qualified imports
Ramkumar Ramachandra
More...
about 2 months ago
Adding .vscode to .gitignore
Hugo Herbelin
More...
2 months ago
Small comments
Hugo Herbelin
More...
2 months ago
paper: double-spacing, declare competing interests
Ramkumar Ramachandra
More...
3 months ago
Spell-checking
Hugo Herbelin
More...
3 months ago
paper: arxiv-specific tweak to prose
Ramkumar Ramachandra
More...
3 months ago
paper: final polish
Ramkumar Ramachandra
More...
3 months ago
dune, actions: housekeeping
Ramkumar Ramachandra
More...
3 months ago
README: remove ref to closed coq bug
Ramkumar Ramachandra
More...
3 months ago
paper: clean detritus
Ramkumar Ramachandra
More...
3 months ago
paper: final polish
Ramkumar Ramachandra
More...
3 months ago
paper: misc
Hugo Herbelin
More...
3 months ago
paper: minor polish
Ramkumar Ramachandra
More...
3 months ago
paper: major polish
Ramkumar Ramachandra
More...
3 months ago
paper: some more polish
Ramkumar Ramachandra
More...
3 months ago
paper: major polish
Ramkumar Ramachandra
More...
3 months ago
paper: polish Future Work
Ramkumar Ramachandra
More...
4 months ago
paper: minor polish of footnote
Ramkumar Ramachandra
More...
4 months ago
paper: minor polish
Ramkumar Ramachandra
More...
4 months ago
paper: minor pluralization
Ramkumar Ramachandra
More...
4 months ago
paper: minor polish
Ramkumar Ramachandra
More...
4 months ago
paper: major work on last two sections
Ramkumar Ramachandra
More...
4 months ago
paper: some additions; remove useless float
Ramkumar Ramachandra
More...
4 months ago
←
1
2
3
4
5
6
7
8
9
…
29
30
→
This site uses cookies to give you the best possible experience. By using the site, you consent to our use of cookies. For more information, please see our
Privacy Policy
Agree