Giters
Arnaud Spiwack (aspiwack)

aspiwack

Geek Repo

155

followers

0

following

10

stars

Company:Tweag

Location:Paris

Home Page:http://assert-false.science/arnaud

Twitter:@aspiwack

Github PK Tool:Github PK Tool

Organizations
tweag

Arnaud Spiwack's repositories

kata

Language:OCamlStargazers:0Issues:0Issues:0

slicepar

Language:RustStargazers:0Issues:0Issues:0

treemachine

Language:TeXStargazers:1Issues:0Issues:0

milner

Small implementation of Milner tactics for minimal logic

Language:OCamlStargazers:2Issues:0Issues:0

minipi

Experiment on depent type-checking.

Language:OCamlStargazers:1Issues:0Issues:0

cosa

A thing about Coq-verified Shape Analysis

Language:CoqLicense:NOASSERTIONStargazers:4Issues:0Issues:0