busycoq

Busy Beaver deciders backed by Coq proof

GitHub

36 stars
6 watching
6 forks
Language: Coq
last commit: 3 months ago