Giters
Aris Papadopoulos (arisPapadop)

arisPapadop

Geek Repo

4

followers

7

following

4

stars

Location:London

Github PK Tool:Github PK Tool

Aris Papadopoulos's starred repositories

lean-scheme

Schemes in Lean (v2)

Language:LeanStargazers:42Issues:0Issues:0

Dedukti

Implementation of the λΠ-calculus modulo rewriting

Language:OCamlLicense:NOASSERTIONStargazers:193Issues:0Issues:0

lambdapi

Proof assistant based on the λΠ-calculus modulo rewriting

Language:OCamlLicense:NOASSERTIONStargazers:267Issues:0Issues:0

language-wacc

Atom package for the WACC language.

Stargazers:1Issues:0Issues:0