All Categories → No Category → universal-algebra

Top 1 universal-algebra open source projects

Algebraic proof discovery in Agda

✭ 28

Agda agda formal-verification universal-algebra

1-1 of 1 universal-algebra projects