GitHub repository: vlad2305m/proof-outline-checker
Primary language: TypeScript
Description: A checker for Hoare logic proof outlines written as Python programs with assert statements