vlad2305m / proof-outline-checker

A checker for Hoare logic proof outlines written as Python programs with assert statements

https://vlad2305m.github.io/proof-outline-checker/

Geek Repo

Github PK Tool

This repository is not active

About

A checker for Hoare logic proof outlines written as Python programs with assert statements

https://vlad2305m.github.io/proof-outline-checker/

MIT License

Languages

Language:TypeScript 62.2%Language:Coq 30.8%Language:HTML 4.2%Language:OCaml 2.2%Language:Makefile 0.4%Language:JavaScript 0.1%Language:Dockerfile 0.0%