Skip to content

Corrected Tautology bug.

Viktor Kuncak requested to merge github/fork/SimonGuilloud/tautology into main

Created by: SimonGuilloud

Found the bug. Now Tautology replaces Trivial everywhere.

Merge request reports