There is a newer version of the record available.

Published March 29, 2021 | Version v0.3.2
Software Open

Metatheory.jl: Fast and Elegant Algebraic Computation in Julia with Extensible Equality Saturation

Authors/Creators

  • 1. Università di Pisa

Description

General purpose metaprogramming and algebraic computation library for the Julia programming language

Files

0x0f0f0f/Metatheory.jl-v0.3.2.zip

Files (458.5 kB)

Name Size Download all
md5:e7f8b0c4f0dc281646f44901a79cfdbe
458.5 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/0x0f0f0f/Metatheory.jl/tree/v0.3.2 (URL)