Browse Source

Update README.md

Fixed a typo.
pull/499/head
Pietro Monticone 1 month ago
committed by GitHub
parent
commit
025f9f35f3
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      README.md

2
README.md

@ -59,7 +59,7 @@ implement core algorithms for solving word problems and reducing expressions to
normal form with respect to several important doctrines, such as those of
categories and of symmetric monoidal categories. For the computer algebra of
classical abstract algebra, see
[AbstractAlgebra.j](https://github.com/wbhart/AbstractAlgebra.jl) and
[AbstractAlgebra.jl](https://github.com/wbhart/AbstractAlgebra.jl) and
[Nemo.jl](https://github.com/wbhart/Nemo.jl).
### What is Catlab not?

Loading…
Cancel
Save