erikbuck / AxiomaticADT_cpp

Example of axiomatic definition of Abstract Data Type using C++

Geek Repo

Github PK Tool