larsrh

larsrh

👤 Developer

1 repository on SrcLog

View on GitHub
1 Repos
39 Stars
8 Forks
39 Watchers

Repositories (1)

libisabelle larsrh/libisabelle Scala

A Scala library which talks to Isabelle (DISCONTINUED)

39