No results found

calcify

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

  1. marcusrossel/eggusesb89b823

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

  2. JadAbouHawili/Gameusesf54413f

    Knights and Knaves Educational Game in Lean 4

  3. keilambda/ttfpiuseseb8ace0

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