zhengyu19921215/AI-Algorithmic-Engineer-Manual

Size: 93.8 KB - Last synced at: 5 months ago - Pushed at: almost 6 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: 366 MB - Last synced at: 9 days ago - Pushed at: 10 days ago - Stars: 11 - Forks: 7

amka66/mai

mai: MAth Interpreter with Standard Foundations

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

amka66/horc

horc: Lightweight HORn-Clause Interpreter

Language: Prolog - Size: 124 KB - Last synced at: 12 months ago - Pushed at: 12 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: about 2 years ago - Pushed at: about 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: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0