https://github.com/gebner/vcf24-lean

https://github.com/gebner/vcf24-lean

Last synced: over 1 year ago
JSON representation

• Host: GitHub
• URL: https://github.com/gebner/vcf24-lean
• Owner: gebner
• Created: 2024-06-11T06:10:10.000Z (about 2 years ago)
• Default Branch: master
• Last Pushed: 2024-06-11T16:53:29.000Z (about 2 years ago)
• Last Synced: 2025-02-16T10:44:34.186Z (over 1 year ago)
• Language: Lean
• Size: 5.86 KB
• Stars: 4
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Lean guest lecture in Verificación de Programas con F*



## Further reading

 - If you like games: https://adam.math.hhu.de/#/g/hhu-adam/NNG4

 - [Big list of tutorials](https://leanprover-community.github.io/learn.html)

 - https://leanprover.zulipchat.com/