https://github.com/saransh-cpp/rv-warmup

Tasks revolving around runtime verification (PL/SE research)
https://github.com/saransh-cpp/rv-warmup

Last synced: 5 months ago
JSON representation

Tasks revolving around runtime verification (PL/SE research)

• Host: GitHub
• URL: https://github.com/saransh-cpp/rv-warmup
• Owner: Saransh-cpp
• Created: 2023-01-04T07:00:16.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2024-02-16T10:32:46.000Z (over 2 years ago)
• Last Synced: 2025-02-01T08:16:08.399Z (over 1 year ago)
• Homepage:
• Size: 9.77 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# rv-warmup

I dived into RV in my second year, but then I got into Type Theory and Proof Theory. I want to get back to RV someday.