search

JuliaSymbolics / Metatheory.jl

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
https://juliasymbolics.github.io/Metatheory.jl/dev/
MIT License
357 stars 47 forks source link

bump `DocStringExtensions` #139

Closed t-bltg closed 1 year ago

t-bltg commented 2 years ago

Following this PR, a Metatheory version bump to 1.4.1 would be appreciated.

oscardssmith commented 1 year ago

@YingboMa bump