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: 12 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 (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2018-07-05T18:51:34.000Z (almost 8 years ago)
• Last Synced: 2025-03-28T21:47:16.205Z (about 1 year 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.