No results found

calcify

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

  1. marcusrossel/egguses451c2e6

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

  2. JadAbouHawili/Gameusesf54413f

    Knights and Knaves Educational Game in Lean 4

  3. lf-lang/reactor-modelusesec3743a

    A Lean-based formalization of the Reactor model.

  4. keilambda/ttfpiuseseb8ace0

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