allisterb 


  • TensorFlow 2.0 native Linux x64 library dependency for the Sylvester project. The DLL will be automatically copied to your project's output directory on build.
    • 361 total downloads
    • last updated 9/9/2020
    • Latest version: 0.1.0
    • tigergraph graph
    A .NET client library for TigerGraph
    • 289 total downloads
    • last updated 6/24/2020
    • Latest version: 0.1.0-alpha (prerelease)
    • math logic theorem prover
    Nymph is a natural language theorem prover that uses natural language to state and write proofs of logical and mathematical theorems.