Sign in
Join now
verus
stepbrobd.com
/
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
forked from verus-lang/verus
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
verus
/
source
/
docs
/
publications-and-projects
3 folders
·
5 files
at
master
Natalie Neamtu
·
Change venue to NeurIPS and update publication date (#3079)
·
1mo ago
4edabce5
_layouts
rename projects page, add link to README
2y ago
_projects
Change venue to NeurIPS and update publication date (#3079)
1mo ago
css
rename projects page, add link to README
2y ago
_config.yml
rename projects page, add link to README
2y ago
.gitignore
rename projects page, add link to README
2y ago
award.jpg
Add recent awards
2y ago
index.md
Add recent awards
2y ago
Makefile
rename projects page, add link to README
2y ago
