optisat0.1.0
Formally verified equality saturation engine in Lean 4, parameterized by typeclasses. OptiSat provides a domain-agnostic e-graph with 248 theorems
1-1 of 1 packages depending on lambdaclass/optisat
Sort by
Package Name
lambdaclass/trzkuses
0439a64Verified Optimizing Compiler for Cryptographic Primitives