Giters
Peter W. V. Tran-Jørgensen (peterwvj)

peterwvj

Geek Repo

15

followers

12

following

11

stars

Company:Bankdata

Location:Aarhus, Denmark

Home Page:https://twitter.com/PeterTJorgensen

Github PK Tool:Github PK Tool

Organizations
overturetool

Peter W. V. Tran-Jørgensen's repositories

tlaplus_repl

A simple REPL for the TLA+ language, using the TLC model checker.

Language:PythonStargazers:0Issues:0Issues:0