https://github.com/clarus/phd-experiments

Experiments I am doing for my PhD
https://github.com/clarus/phd-experiments

Last synced: 3 months ago
JSON representation

Experiments I am doing for my PhD

• Host: GitHub
• URL: https://github.com/clarus/phd-experiments
• Owner: clarus
• Created: 2013-04-08T17:50:38.000Z (almost 13 years ago)
• Default Branch: master
• Last Pushed: 2015-08-15T15:14:32.000Z (over 10 years ago)
• Last Synced: 2025-04-14T22:47:29.712Z (9 months ago)
• Language: Coq
• Homepage: http://guillaume.claret.me/research/phd.html
• Size: 3.21 MB
• Stars: 4
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# PhD experiments

http://guillaume.claret.me/research/phd.html