certichain / plv-nus Public

Notifications You must be signed in to change notification settings
Fork 0
Star 9

NUS Programming Language & Verification Reading Club

9 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
LICENSE		LICENSE
README.md		README.md

Repository files navigation

NUS Programming Language and Verification Club

For the talks and topics, check the reading group Wiki pages

About

NUS Programming Language & Verification Reading Club

Custom properties

Report repository

Releases

No releases published

Packages

No packages published