Skip to content
TagBot

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

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 #193

Triggered via issue November 22, 2024 20:25
@KrastanovKrastanov
commented on #90 dd7d140
Status Skipped
Total duration 3s
Artifacts –

TagBot.yml

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