This website works better with JavaScript.
Home
Help
Sign In
adbrucker
/
isabelle-hacks
Watch
1
Star
0
Fork
0
Code
Issues
0
Pull Requests
0
Releases
4
Wiki
Activity
A Collection of Isabelle Programming Hacks
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
56
Commits
1
Branch
302 KiB
Isabelle
95.8%
TeX
3.9%
Groovy
0.3%
Branch:
master
master
Isabelle2020
Isabelle2019
Isabelle2018
Isabelle2017
Branches
Tags
${ item.name }
Create branch
${ searchTerm }
from 'master'
${ noResults }
isabelle-hacks
/
.ci
History
Achim D. Brucker
76ab611c86
Port to Isabelle 2019.
1 year ago
..
Jenkinsfile
Port to Isabelle 2019.
1 year ago