GitHub repository: occam-proof-assistant/Kahn
Primary language: JavaScript
Created: 2017-07-07T13:36:14Z
Description: An implementation of Kahn's algorithm.