search

leanprover / LeanInk

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
Apache License 2.0
60 stars 16 forks source link

fix: snake-case attributes #37

Closed digama0 closed 1 year ago

digama0 commented 1 year ago

Companion PR to leanprover/lean4#1752.