nomeatacalcify

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

  1. marcusrossel/eggusesb89b823

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

  2. keilambda/ttfpiuseseb8ace0

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