coq-fsharp. Libraries and tools for extracting Coq code to F#

github.com/csgordon/coq-fsharp
by @csgordon

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.