frenzymathmetalib

A collection of metaprogramming utilities.
Displaying 1-1 of 1 packages depending on frenzymath/metalib
Sort by

  1. frenzymath/jixiauses3163e92

    A static analysis tool for Lean 4.