leanproververso-slides0.1.0

Displaying 1-2 of 2 packages depending on leanprover/verso-slides
Sort by

  1. lexzaiello/Dccuses2b5ce1f

    The dependently-typed combinator calculus (DCC).

  2. shosonoda/lean-ridgeletusesv4.32.0

    Lean formalization and Blueprint for integral-representation neural networks and ridgelet transforms