No results found

calcify

Displaying 1-2 of 2 packages depending on nomeata/calcify
Sort by

  1. marcusrossel/eggusesec3743a

    A (WIP) equality saturation tactic for Lean based on egg.

  2. keilambda/ttfpiuseseb8ace0

    "Type Theory and Formal Proof: An Introduction" book formalization in Lean