lean4 commands

1 tagged lean4, measured the same way as everything else here.

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

prove

01

yamafaktory/formal

Command Claude Code

Prove properties about formal's own pure functions, using formal.

not rated 23 8d ago A 12 tokens original MIT