Giters
Anders Mörtberg (mortberg)

mortberg

Geek Repo

182

followers

7

following

3

stars

Location:Sweden

Home Page:http://staff.math.su.se/anders.mortberg/

Github PK Tool:Github PK Tool

Organizations
UniMath

Anders Mörtberg's repositories

cubicaltt

Experimental implementation of Cubical Type Theory

Language:HaskellLicense:MITStargazers:566Issues:45Issues:61

yacctt

yacctt: Yet Another Cartesian Cubical Type Theory

Language:HaskellLicense:MITStargazers:73Issues:12Issues:2

gen-cart

A Unifying Cartesian Cubical Set Model

Language:AgdaStargazers:33Issues:5Issues:0

AlgTop

Haskell library of algebraic topology

Language:HaskellLicense:BSD-3-ClauseStargazers:23Issues:3Issues:0

TypeTheory

Language:CoqStargazers:7Issues:4Issues:0

martin-lof

papers of Per Martin Löf

Language:TeXStargazers:3Issues:2Issues:0

Schools

Language:CoqStargazers:1Issues:2Issues:0

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

bnfc

BNF Converter

Language:TeXStargazers:0Issues:2Issues:0

cubeval

high-performance cubical evaluation

Language:TeXLicense:MITStargazers:0Issues:1Issues:0

cubical

Language:AgdaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

cubical-demo

Language:AgdaStargazers:0Issues:2Issues:0

europroofnet.github.io

Sources of the EuroProofNet web site.

Language:RubyStargazers:0Issues:1Issues:0

HoTT

Homotopy type theory

Language:CoqLicense:NOASSERTIONStargazers:0Issues:2Issues:0

OEIS-A000001

Language:AgdaStargazers:0Issues:1Issues:0

palmgren-archive

Research material of Erik Palmgren (1963–2019)

Language:AgdaStargazers:0Issues:1Issues:0

sml-redprl

Decisively Smash the Formalist Clique!—The People's Refinement Logic

Language:Standard MLLicense:MITStargazers:0Issues:2Issues:0

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Language:CoqLicense:NOASSERTIONStargazers:0Issues:3Issues:0