UniFormal/Proofs UniFormal/Proofs

  • Stars
    star
    5
  • Rank 2,846,676 (Top 57 %)
  • Language
    TeX
  • Created almost 8 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
UniFormal/Proofs
github

UniFormal

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Designing a proof representation/interchange format as inspired by the Dagstuhl seminar on Universality of Proofs (2016)

More Repositories

1

MMT

The MMT Language and System
Scala
68
star
2

uniformal.github.io

Main website for MMT and related material
CSS
6
star
3

TGView3D

A 3D Theory Graph Viewer for MMT.
C#
6
star
4

TGView

GraphViewer for TheoryGraphs
TypeScript
4
star
5

implicit

paper on implicit morphisms
TeX
4
star
6

mmt_jupyter_kernel

A Jupyter kernel for MMT
JavaScript
3
star
7

MMTPy

Python API for MMT. Work in progress.
Python
3
star
8

IntelliJ-MMT

An IntelliJ-Plugin for MMT (under development)
Scala
3
star
9

physics

Scala
2
star
10

VSCode-MMT

MMT plugin for Visual Studio Code
TypeScript
2
star
11

ESSLLI2019

1
star
12

apidoc

Auto-generated API documentation for MMT. All changes will be overwritten on the next commit.
HTML
1
star
13

GFScala

Scala wrappers and MMT-compatible interfaces for GF datastructures, based on their java bindings
Scala
1
star
14

tgview3d.mathhub.info

TGView 3d Website
JavaScript
1
star