https://github.com/kant2002/fstarlinter

Linter for common errors which can be found in FStar
https://github.com/kant2002/fstarlinter

Last synced: over 1 year ago
JSON representation

Linter for common errors which can be found in FStar

• Host: GitHub
• URL: https://github.com/kant2002/fstarlinter
• Owner: kant2002
• License: mit
• Created: 2022-04-12T14:54:14.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2022-04-16T04:06:53.000Z (over 4 years ago)
• Last Synced: 2024-10-11T20:51:36.819Z (almost 2 years ago)
• Language: C#
• Size: 7.81 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt

Awesome Lists containing this project

README

          
# FStarLinter