Giters
Martin Berger (martinberger)

martinberger

Geek Repo

25

followers

3

following

16

stars

Company:https://montanarius.com/

Location:London

Home Page:https://martinfriedrichberger.net

Github PK Tool:Github PK Tool

Martin Berger's repositories

hol-c

A proof-of-concept LCF-style interactive theorem prover for HOL(C)

Language:ScalaLicense:NOASSERTIONStargazers:4Issues:2Issues:3

n-queens-with-lines

A toy repo to demonstrate to students the use of GitHub actions

Language:JavaStargazers:1Issues:1Issues:1

martinberger.github.io

Language:HTMLStargazers:0Issues:1Issues:0