Giters
Alexander Steen (lex-lex)

lex-lex

Geek Repo

11

followers

1

following

2

stars

Company:University of Greifswald

Location:Germany

Home Page:https://www.alexandersteen.de

Github PK Tool:Github PK Tool

Organizations
I-O-Logic
leoprover

Alexander Steen's repositories

Leo-III

Higher-order Theorem Prover

Language:ScalaLicense:BSD-3-ClauseStargazers:1Issues:5Issues:0

CVC4

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Language:SMTLicense:NOASSERTIONStargazers:0Issues:0Issues:0

embed_modal

Language:JavaStargazers:0Issues:1Issues:0

europroofnet.github.io

Sources of the EuroProofNet web site.

Language:RubyStargazers:0Issues:0Issues:0

InterpretationFormat

Language:TeXStargazers:0Issues:0Issues:0

QMLTP

Language:OpenEdge ABLStargazers:0Issues:0Issues:0

Railcraft

The Railcraft Mod for Minecraft, source and development.

Language:JavaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

stepeval

A program for evaluating a Haskell expression step-by-step

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

TimedYTAdSkip

Skips Youtube Ads after 30s

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:1