published Published over 3 years ago
gym-saturation: an OpenAI Gym environment for saturation provers
Python OpenEdge ABL
published Published about 4 years ago
Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation
Julia
published Published about 5 years ago