🔁
rebooting
R&D Scientist, building @plantingspace. I focus on category theory, functional programming, symbolics, and programming language theory
Block or Report
Block or report 0x0f0f0f
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
JuliaSymbolics/Metatheory.jl
JuliaSymbolics/Metatheory.jl PublicMakes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturatio…
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.