/SharpLogic

Open source F# mathematical logic library.

Primary LanguageF#

Watchers