Explore projects

View 22-CICM-Injecting-Formal-Mathematics project

Papers / 22-CICM-Injecting-Formal-Mathematics

0

Updated Mar 13, 2025

0 0 0 0

Updated Mar 13, 2025
View 22-CICM-sTeX-System-Description project

Papers / 22-CICM-sTeX-System-Description

0

Updated Mar 13, 2025

0 0 0 0

Updated Mar 13, 2025
View 22-TUG-sTeX project

Papers / 22-TUG-sTeX

0

Updated Mar 13, 2025

0 0 0 0

Updated Mar 13, 2025
View 23-AI4AI-Guided-Tours project

Papers / 23-AI4AI-Guided-Tours

1

Updated Sep 12, 2023

1 0 0 0

Updated Sep 12, 2023
View 23-CICM-Alea project

Papers / 23-CICM-Alea

0

Updated Mar 13, 2025

0 0 0 0

Updated Mar 13, 2025
View 23-GeCon-Y-Model project

Papers / 23-GeCon-Y-Model

0

Updated Mar 13, 2025

0 0 0 0

Updated Mar 13, 2025
View 23-HDI-AnswerClasses project

Papers / 23-HDI-AnswerClasses

0

Updated Aug 05, 2023

0 0 0 0

Updated Aug 05, 2023
View 23-mathui-active-documents project

Papers / 23-mathui-active-documents

0

Updated Feb 17, 2025

0 0 0 0

Updated Feb 17, 2025
View 23-TUG-CSS project

Papers / 23-TUG-CSS

0

Updated Mar 13, 2025

0 0 0 0

Updated Mar 13, 2025
View 24-CICM-views-in-ALeA project

Papers / 24-CICM-views-in-ALeA

0

Updated Mar 13, 2025

0 0 0 0

Updated Mar 13, 2025
View ActiveComputationDemo project

ODK / ActiveComputationDemo

0

Updated Oct 18, 2020

0 0 0 0

Updated Oct 18, 2020
View activedocs project

MaMoReD / activedocs

Active documents with models

0

Updated Nov 25, 2021

0 0 0 0

Updated Nov 25, 2021
View Admin project

FAU CDI / Labs / WissKI / Admin

0

Updated Mar 14, 2025

0 0 0 7

Updated Mar 14, 2025
View AFP project

Isabelle / AFP

OMDoc export of the Archive of Formal Proofs

0

Updated Jul 03, 2023

0 0 0 0

Updated Jul 03, 2023
View ai project

SMGloM / ai

The concepts from the AI lecture at MiKoMH/AI

0

Updated Mar 13, 2025

0 0 0 0

Updated Mar 13, 2025
View AISysProjAdmin project

Jan Frederik Schaefer / AISysProjAdmin

0

Updated Dec 03, 2021

0 0 0 0

Updated Dec 03, 2021
View ALeA project

voll-ki / ALeA

User Manual and Documents about the ALeA (Adaptive Learning Assistant) System.

0

Updated Mar 13, 2025

0 0 0 0

Updated Mar 13, 2025
View Alea Iuris project

JLogic / Alea Iuris

Suppenwürfel.

0

Updated Feb 28, 2025

0 0 0 0

Updated Feb 28, 2025
View algebra project

SMGloM / algebra

The SMGloM modules for elementary algebra.

0

Updated Mar 13, 2025

0 2 0 1

Updated Mar 13, 2025
View algebra project

Christoph Geist / algebra

The SMGloM modules for elementary algebra.

0

Updated Jul 24, 2018

0 0 0 0

Updated Jul 24, 2018