https://github.com/acorrenson/bf
A Coq Formalization of the Brainfuck programming language
https://github.com/acorrenson/bf
coq hacktoberfest programming-language semantics
Last synced: 7 months ago
JSON representation
A Coq Formalization of the Brainfuck programming language
- Host: GitHub
- URL: https://github.com/acorrenson/bf
- Owner: acorrenson
- License: mit
- Created: 2021-04-30T07:52:24.000Z (almost 5 years ago)
- Default Branch: main
- Last Pushed: 2021-10-09T23:05:02.000Z (over 4 years ago)
- Last Synced: 2023-05-19T04:40:21.530Z (over 2 years ago)
- Topics: coq, hacktoberfest, programming-language, semantics
- Language: Coq
- Homepage:
- Size: 25.4 KB
- Stars: 6
- Watchers: 2
- Forks: 0
- Open Issues: 0