https://github.com/andreasabel/strong-normalization

Formalizations of strong normalization proofs
https://github.com/andreasabel/strong-normalization

Last synced: 5 months ago
JSON representation

Formalizations of strong normalization proofs

• Host: GitHub
• URL: https://github.com/andreasabel/strong-normalization
• Owner: andreasabel
• License: unlicense
• Created: 2017-05-09T15:54:34.000Z (about 9 years ago)
• Default Branch: master
• Last Pushed: 2019-07-08T17:46:55.000Z (almost 7 years ago)
• Last Synced: 2025-06-19T19:11:36.155Z (about 1 year ago)
• Language: TeX
• Size: 5.52 MB
• Stars: 35
• Watchers: 9
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# strong-normalization

Formalizations of strong normalization proofs