The special thing about Fungrim is this tidbit: > All data in Fungrim is represented in semantic form designed to be usable by computer algebra software In th

The special thing about Fungrim is this tidbit: > All data in Fungrim is represented in semantic form designed to be usable by computer algebra software In that sense its maybe closer to Axiom