Fiat

github.comtool

Mostly automated synthesis of correct-by-construction programs.

from

Coq

added

2026-10-10

likes

0

Coq › Projects > Frameworks: “Mostly automated synthesis of correct-by-construction programs.”