Projects with this topic
Sort by:
-
🔧 🔗 https://github.com/xamidi/pmGeneratorAn exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
Updated -
Function Message Interface (FMI): library for message-passing and collective communication for serverless functions. mcopik.github.io/projects/fmi/
Updated
