https://github.com/artemmukhin/lambdacalculuscoq

Formal proofs of some facts about untyped lambda calculus in Coq
https://github.com/artemmukhin/lambdacalculuscoq

coq lambda-calculus

Last synced: about 2 months ago
JSON representation

Formal proofs of some facts about untyped lambda calculus in Coq

• Host: GitHub
• URL: https://github.com/artemmukhin/lambdacalculuscoq
• Owner: artemmukhin
• Created: 2018-06-27T17:10:51.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2018-07-05T18:51:34.000Z (over 6 years ago)
• Last Synced: 2024-12-15T11:04:04.663Z (about 2 months ago)
• Topics: coq, lambda-calculus
• Language: Coq
• Size: 14.6 KB
• Stars: 1
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# LambdaCalculus

Formal proofs of some facts about untyped lambda calculus written in Coq. Created during Semantics of Programming Languages course at SPbSU.