Completed
Push — master ( 53b69e...610b1a )
by Julian
02:14
created

No notable changes

There were no notable changes in the changeset which was inspected.

???
Head
Julian Mendez  
Update README.md
Base
Julian Mendez  
Rewrite equality of normalized axioms