Rare find

busycoq. Busy Beaver deciders backed by Coq proof

github.com/meithecatte/busycoq

by

@meithecatte

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.