pnwamklean4-assert-command

A simple assertion command for Lean4
Displaying 1-1 of 1 packages depending on pnwamk/lean4-assert-command
Sort by

  1. incremental-computing/autoincuses6ad74ff