Skip to content
TagBot

Metatheory.jl for clean simplify rules on non-commutative groups #194

Sign in to view logs

Metatheory.jl for clean simplify rules on non-commutative groups

Metatheory.jl for clean simplify rules on non-commutative groups #194

Triggered via issue November 22, 2024 21:49
@akirakyleakirakyle
commented on #90 dd7d140
Status Skipped
Total duration 2s
Artifacts –

TagBot.yml

on: issue_comment
TagBot
0s
TagBot
Fit to window
Zoom out
Zoom in