/abadispute

JavaScript library to evaluate Dung style ABA disputes based on F. Toni's X-dispute derivations

Primary LanguageJavaScript

Stargazers

No one’s star this repository yet.