Skip to content

Remove last axioms from proto K

Guillaume Claret requested to merge guillaume-claret@remove-last-axioms-proto-k into master

Merge request reports