medovinanatural

A controlled natural language syntax for Lean.
Sort by
  1. Registry dependency.
    Found on Reservoir.

    batteries6d971e7

    The "batteries included" extended library for the Lean programming language and theorem prover
  2. Registry dependency.
    Found on Reservoir.

    aesopv4.36.0-rc2

    White-box automation for Lean 4