F

formal specificaiton

A Visual Studio (VS) code extension designed to streamline the process of writing and verifying formal specifications written with the {log} system.