GitHub repository: GeorgePlotnikov/SharpLogic
Primary language: F#
Created: 2021-01-01T19:23:10Z
Description: Open source F# mathematical logic library.