https://github.com/ecly/programming_language_seminar

Exercises and project for Programming Language Seminar course at ITU
https://github.com/ecly/programming_language_seminar

coq formal-proofs formal-verification simply-typed-lambda-calculus

Last synced: 10 days ago
JSON representation

Exercises and project for Programming Language Seminar course at ITU

• Host: GitHub
• URL: https://github.com/ecly/programming_language_seminar
• Owner: ecly
• Created: 2018-01-29T10:37:38.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2018-06-03T17:02:29.000Z (over 6 years ago)
• Last Synced: 2025-01-22T23:31:44.961Z (10 days ago)
• Topics: coq, formal-proofs, formal-verification, simply-typed-lambda-calculus
• Language: Coq
• Homepage:
• Size: 4.48 MB
• Stars: 0
• Watchers: 4
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project