F* Semantic Validator
6.2
A tool that validates code written in the F* programming language against existing proofs and specifications, automatically extracting test cases and providing feedback on potential inconsistencies. Integrates with KaRaMeL for multi-language compatibility.
240h
mvp estimate
6.2
viability grade
7
views
technology stack
C#
PostgreSQL
Difficult
inspired by
Introduction to general-purpose proof-oriented programming language F*