Explore projects

View masterproj backup jedit project

SvenWille / masterproj backup jedit

just a backup of the jedit extension for my masterproject/masterthesis

0

Updated Apr 22, 2021

0 0 0 0

Updated Apr 22, 2021
View SoftwareFoundations project

SvenWille / SoftwareFoundations

This repository contains the MMT-translation of the SoftwareFoundations book.

0

Updated Jun 13, 2018

0 0 0 0

Updated Jun 13, 2018
View SebastianOrsted project

sTeX / Experiments / SebastianOrsted

0

Updated Mar 20, 2023

0 0 0 0

Updated Mar 20, 2023
View meta-inf project

courses / highschool / meta-inf

0

Updated Aug 30, 2024

0 0 0 0

Updated Aug 30, 2024
View teaching project

Florian Rabe / teaching

0

Updated Sep 18, 2023

0 0 0 0

Updated Sep 18, 2023
View SUMO project

SUOKIF / SUMO

0

Updated Nov 12, 2021

0 0 0 0

Updated Nov 12, 2021
View coq-math-classes.8.8.1 project

XML Coq Exports / coq-math-classes.8.8.1

0

Updated Mar 15, 2019

0 0 0 0

Updated Mar 15, 2019
View RPresentation project

Naomi Pentrel / RPresentation
Creative Commons Attribution Share Alike 3.0 Germany

0

Updated Jun 02, 2015

0 0 0 0

Updated Jun 02, 2015
View 23-GeCon-Y-Model project

Papers / 23-GeCon-Y-Model

0

Updated Aug 20, 2025

0 0 0 0

Updated Aug 20, 2025
View meta-inf project

sTeX / Logic / meta-inf

0

Updated Aug 20, 2025

0 0 0 0

Updated Aug 20, 2025
View General project

Test / General

General Tests (Views, Structures, etc.)

0

Updated May 04, 2022

0 0 0 0

Updated May 04, 2022
View 23-HDI-AnswerClasses project

Papers / 23-HDI-AnswerClasses

0

Updated Aug 05, 2023

0 0 0 0

Updated Aug 05, 2023
View ext-lib project

Coq / ext-lib

0

Updated Apr 23, 2019

0 0 0 0

Updated Apr 23, 2019
View trigonometry project

SMGloM / trigonometry

trigonometric functions

0

Updated Aug 20, 2025

0 0 0 0

Updated Aug 20, 2025
View coq-fcsl-pcm.1.0.0 project

XML Coq Exports / coq-fcsl-pcm.1.0.0

0

Updated Mar 15, 2019

0 0 0 0

Updated Mar 15, 2019
View cfml project

Coq / cfml

0

Updated Apr 05, 2019

0 0 0 0

Updated Apr 05, 2019
View coq-flocq.3.1.0 project

XML Coq Exports / coq-flocq.3.1.0

0

Updated Mar 15, 2019

0 0 0 0

Updated Mar 15, 2019
View LBS1920 project

Teaching / LBS1920

The materials of the LBS course held in WS 2019/20.

0

Updated Feb 05, 2020

0 0 0 0

Updated Feb 05, 2020
View KRMT21 project

Tutorials / KRMT21

0

Updated Jul 13, 2021

0 0 0 0

Updated Jul 13, 2021
View equations project

Coq / equations

0

Updated Apr 23, 2019

0 0 0 0

Updated Apr 23, 2019