fedistats
  • Trends
  • Search
  • Topics
  • Nodes
< back

#coq

1 5 Toot LinkedIn
A chart of hourly posts over the last week (for big screens). A chart of hourly posts over the last week (for small screens).
English(1)
github.com (1)

1

From github.com

GitHub - mit-plv/fiat: Mostly Automated Synthesis of Correct-by-Construction Programs

1 1

Mostly Automated Synthesis of Correct-by-Construction Programs - mit-plv/fiat

#coq

3h ago

Showing first 1 out of 1