Explore projects

2

Papers / 23-HDI-AnswerClasses

0

Updated Aug 05, 2023

0 0 0 0

Updated Aug 05, 2023
T

SMGloM / topology

The SMGloM modules for topology

0

Updated Nov 25, 2024

0 1 0 0

Updated Nov 25, 2024
2

Papers / 22-CICM-Injecting-Formal-Mathematics

0

Updated Aug 01, 2024

0 0 0 0

Updated Aug 01, 2024
M

courses / highschool / meta-inf

0

Updated Aug 30, 2024

0 0 0 0

Updated Aug 30, 2024
C

XML Coq Exports / coq-flocq.3.1.0

0

Updated Mar 15, 2019

0 0 0 0

Updated Mar 15, 2019
C

SMGloM / complexity

0

Updated Dec 21, 2024

0 0 0 0

Updated Dec 21, 2024
C

XML Coq Exports / coq-mathcomp-real-closed.1.0.1

0

Updated Mar 15, 2019

0 0 0 0

Updated Mar 15, 2019
M

courses / UHi / meta-inf

0

Updated Aug 11, 2024

0 0 0 0

Updated Aug 11, 2024
G

hang / GenCS

The slides and course notes of the course General Computer Science at Jacobs University.

0

Updated Sep 14, 2015

0 0 0 0

Updated Sep 14, 2015
M

FrameIT / Meta Inf

0

Updated Jul 03, 2020

0 0 0 0

Updated Jul 03, 2020
C

XML Coq Exports / coq-mathcomp-finmap.1.0.0

0

Updated Mar 15, 2019

0 0 0 0

Updated Mar 15, 2019
C

XML Coq Exports / coq-bignums.8.9.0

0

Updated Mar 15, 2019

0 0 0 0

Updated Mar 15, 2019
C

SMGloM / cs

Terminology in Computer Science

0

Updated Nov 24, 2024

0 0 0 0

Updated Nov 24, 2024
C

courses / FAU / SymNLProj / course

0

Updated Dec 16, 2024

0 0 0 0

Updated Dec 16, 2024
E

MMT / exampleProject

0

Updated Apr 19, 2023

0 0 0 0

Updated Apr 19, 2023
C

XML Coq Exports / coq-coqprime.1.0.3

0

Updated Mar 15, 2019

0 0 0 0

Updated Mar 15, 2019
L

Teaching / LBS2324

0

Updated Feb 29, 2024

0 0 0 0

Updated Feb 29, 2024
G

sTeX / ComputerScience / General

0

Updated Aug 01, 2024

0 0 0 0

Updated Aug 01, 2024
C

XML Coq Exports / coq-mathcomp-ssreflect.1.7.0

0

Updated Mar 15, 2019

0 0 0 0

Updated Mar 15, 2019
C

XML Coq Exports / coq-mtac2.1.1-8.9

0

Updated Mar 12, 2019

0 0 0 0

Updated Mar 12, 2019