alectryon

There are 1 repositories under alectryon topic.

  • leanprover/LeanInk

    LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.

    Language:Lean60142716