jeltsch/actions-isabelle-build jeltsch/actions-isabelle-build

  • Stars
    star
    1
  • Language
  • License
    BSD 3-Clause "New...
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jeltsch/actions-isabelle-build
github

jeltsch

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

GitHub action for building Isabelle sessions

More Repositories

1

pomelo

The Pomelo temporal programming library
Haskell
10
star
2

incremental-computing

Incremental computing
Haskell
8
star
3

wflp-2019

A Process Calculus for Formally Verifying Blockchain Consensus Protocols (WFLP ’19 invited contribution)
TeX
2
star
4

order-maintenance

Algorithms for the order maintenance problem with a safe, yet flexible interface
Haskell
1
star
5

3d-graphics-examples

Examples of 3D graphics programming with OpenGL
Haskell
1
star
6

modal-programming

Modal programming in Haskell
Haskell
1
star