issues
search
moajohansson
/
IsaHipster
Theory Exploration for Isabelle using HipSpec
19
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bash script to install Haskell, TIP-tools, Isabelle2019, and IsaHipster on Ubuntu 18.04
#6
jafingerhut
opened
5 years ago
0
Extract precise recursion induction scheme
#5
Airini
opened
8 years ago
0
Hipspecifyer conflicts with QuickCheck
#4
Warbo
closed
9 years ago
2
Please add license to hipspecifyer/hipspecifyer.cabal
#3
Warbo
closed
9 years ago
0
Isabelle equality = lost when translating back and forth with Haskell
#2
Airini
opened
9 years ago
1
Conditions missing in final lemma output
#1
Airini
closed
9 years ago
0