Explore projects

C

Jakob Albert / Coq Packages

A single repository with all* Coq packages repositories from https://gl.mathhub.info/Coq as submodule

*See README for exceptions

0

Updated Jul 03, 2023

0 0 0 0

Updated Jul 03, 2023
S

sally4-core / sally4-osgi

0

Updated Jun 08, 2015

0 0 0 0

Updated Jun 08, 2015
O

sally4-office / office-features

0

Updated Aug 02, 2015

0 0 0 0

Updated Aug 02, 2015
S

Ulrich Rabenstein / Semanticextraction
GNU General Public License v3.0 only

0

Updated Oct 04, 2018

0 0 0 7

Updated Oct 04, 2018
C

sally4-core / comm-parent

0

Updated Jun 08, 2015

0 0 0 0

Updated Jun 08, 2015
C

SIGMathLing / cicm23-spotterbase

0

Updated Jan 21, 2024

0 0 0 14

Updated Jan 21, 2024
O

sally4-office / office-abstract-model

0

Updated Jun 04, 2018

0 0 0 0

Updated Jun 04, 2018
F

ALMANAC / Fellowship_Prover_Mod

0

Updated Dec 30, 2024

0 0 0 0

Updated Dec 30, 2024
N

sally4-mhw / nnexus

0

Updated Feb 25, 2016

0 0 0 0

Updated Feb 25, 2016
C

Sally4 / client-java-camel

0

Updated Aug 29, 2014

0 0 0 0

Updated Aug 29, 2014
R

FrameIT / relwork

Related Work for FrameIT

0

Updated Feb 24, 2016

0 0 0 0

Updated Feb 24, 2016
M

sally4-mhw / mhw-stex-compiler

0

Updated Dec 17, 2014

0 0 0 0

Updated Dec 17, 2014
M

KWARC / macros

0

Updated Feb 06, 2024

0 0 0 3

Updated Feb 06, 2024
C

sally5 / core

0

Updated Aug 19, 2015

0 0 0 0

Updated Aug 19, 2015
W

KWARC / kwarc.info / www

The (Jekyll generated part) of the kwarc website

0

Updated Jan 08, 2025

0 1 0 4

Updated Jan 08, 2025
M

sally4-mhw / mhw-definition-indexer

0

Updated Dec 17, 2014

0 0 0 0

Updated Dec 17, 2014
S

Sally4 / sally4-servlet

0

Updated Jun 24, 2014

0 0 0 0

Updated Jun 24, 2014
S

Sally4 / sally-client-python

0

Updated Jun 19, 2014

0 0 0 0

Updated Jun 19, 2014
P

Frederik Schaefer / Pstex

0

Updated Jun 14, 2021

0 0 0 0

Updated Jun 14, 2021
C

Sally4 / comm-mhworker

0

Updated Aug 27, 2014

0 0 0 0

Updated Aug 27, 2014