Explore projects
-
PVS / Prelude
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
woide / Experiments
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / FAU / LBS / hwexam
Creative Commons Attribution Share Alike 4.0 InternationalThe homework assignments and exams for the LBS course at FAU (public)
Updated -
SMGloM / ai
Creative Commons Attribution Share Alike 4.0 InternationalThe concepts from the AI lecture at MiKoMH/AI
Updated -
XML Coq Exports / coq-mtac2.1.1-8.9
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Papers / 24-CICM-views-in-ALeA
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
hang / GenCS
Creative Commons Attribution Share Alike 4.0 InternationalThe slides and course notes of the course General Computer Science at Jacobs University.
Updated -
FAU CDI / Labs / ELN / nomad
GNU Affero General Public License v3.0UpdatedUpdated -
problems / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-coqprime.1.0.3
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
sTeX / ComputerScience / Programming
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
sTeX / MathBase / Sets
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
XML Coq Exports / coq-mathcomp-finmap.1.0.0
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
MMT / exampleProject
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
meta / data
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
courses / UPS / meta-inf
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
MitM / Foundation
Creative Commons Attribution Share Alike 4.0 InternationalThe logical foundation(al theories) used by MitM projects
Updated -
hang / sets
Creative Commons Attribution Share Alike 4.0 InternationalElementary set theory for the SMGloM
Updated -
Teaching / LBS2324
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
SMGloM / probability
Creative Commons Attribution Share Alike 4.0 InternationalUpdated