Giters
Peter (ptrbman)

ptrbman

Geek Repo

1

followers

0

following

3

stars

Company:Uppsala Universitet

Location:Uppsala, Sweden

Github PK Tool:Github PK Tool

Peter's starred repositories

bct

Bounded Connection Tableaux

Language:ScalaLicense:GPL-3.0Stargazers:2Issues:0Issues:0

breu

A library for Bounded Rigid E-Unification

Language:ScalaStargazers:2Issues:0Issues:0

uppsat

An approximating SMT solver

Language:ScalaLicense:GPL-3.0Stargazers:8Issues:0Issues:0