GitHub repository: pnwamk/lean4-assert-command
Primary language: Lean
Created: 2021-02-07T01:45:04Z
Description: A simple assertion command for Lean4