https://github.com/dannywillems/master-thesis

My master thesis on RML : In French.
https://github.com/dannywillems/master-thesis

dependent-types dot rml

Last synced: about 1 month ago
JSON representation

My master thesis on RML : In French.

• Host: GitHub
• URL: https://github.com/dannywillems/master-thesis
• Owner: dannywillems
• Created: 2017-04-19T16:24:54.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2022-08-31T14:04:28.000Z (about 2 years ago)
• Last Synced: 2024-05-02T01:50:33.353Z (7 months ago)
• Topics: dependent-types, dot, rml
• Language: TeX
• Homepage:
• Size: 7.1 MB
• Stars: 4
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project