zhengyu19921215/AI-Algorithmic-Engineer-Manual

Size: 93.8 KB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 4

New-Soul-Of-Science-Project/New-Soul-Of-Science-Project-Web

New Understandings and Approaches to Physics, to Nature Philosophy, to Life Science, to Psychosomatics, to Society, to Semantics, and to Mathematics – as Website

Language: PHP - Size: 363 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 11 - Forks: 7

amka66/mai

mai: MAth Interpreter with Standard Foundations

Language: Prolog - Size: 177 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 4 - Forks: 1

amka66/horc

horc: Lightweight HORn-Clause Interpreter

Language: Prolog - Size: 124 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 4 - Forks: 0

viniciusmiradouro/TheoremsInHaskell

I'm trying to use haskell as a proof checker. Simple.

Language: Haskell - Size: 11.7 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

wkolowski/LiTT

Moja prezentacja o Homotopicznej Teorii Typów na seminarium z Logiki i Teorii Typów

Language: TeX - Size: 18.6 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0