GitHub repository: mosino/abadispute
Primary language: JavaScript
Created: 2019-11-19T20:17:55Z
Description: JavaScript library to evaluate Dung style ABA disputes based on F. Toni's X-dispute derivations