theorem-prover-interface

a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/theorem-prover-interface

1.7k 0JavaScriptDev Tools
PlatformUniversal

Interface with interactive theorem provers for mechanized verification

Universal

All Skills