Popular repositories Loading

1. solutions-to-SGL solutions-to-SGL Public

   Partial solution to the exercise of textbook Sheaves in Geometric and Logic

   TeX 3

2. Modal-Logic Modal-Logic Public

   Standard ML 2

3. Tree-Like-Model-Property Tree-Like-Model-Property Public

   Formalisation code for "Finite Tree-Like Model Property for Multi-Modal Logic in Isabelle/HOLZF"

   Isabelle 1

4. Latex-code-for-assignment-and-report Latex-code-for-assignment-and-report Public

   TeX

5. ETCS ETCS Public

   Standard ML

6. ETCSprover ETCSprover Public

   Standard ML