GitHub repository: mmaleki/LogicalDifferentiation
Primary language: Coq
Created: 2017-02-13T13:09:01Z
Description: Differentiation in logical form by Stone duality.