Skip to content
GitLab
Explore
Sign in
MMT
LATIN2
Repository
Branches
Overview
Active
Stale
All
devel
7e9f22b3
·
Added dhol casestudy: equivalence relations as refinement types.
·
Apr 24, 2024
!6
master
default
protected
38737201
·
fixing the dependencies in the MANIFEST.MF
·
Apr 13, 2024
corinna
e06aef78
·
some layout changes in hol_modal and modal
·
Aug 11, 2023
tptp-exporter
a12001d8
·
Fix dhol exporter
·
Jul 18, 2022
mmtextensions
2eda9022
·
really the last push
·
Jul 07, 2022
undefined
96198532
·
restore ELPI playground
·
Jun 23, 2022
computation
7a704e90
·
Added lf computation
·
Jun 01, 2022
Max
a33b3f16
·
strong permission
·
Mar 17, 2022
tetrapod
4a87a099
·
Merge branch 'tetrapod' of gl.mathhub.info:MMT/LATIN2 into tetrapod
·
Nov 04, 2020
sandboxedMizarImporter
2967d2d9
·
Ported mizar.mmt file over from LATIN.
·
Oct 17, 2020
esslli2019
da02a96d
·
no message
·
Aug 09, 2019
cherry-pick-3bdb2d65
67275d4a
·
more on the views
·
Aug 06, 2019