aboutsummaryrefslogtreecommitdiff
path: root/.github/isabelle-action
diff options
context:
space:
mode:
authorJosh Chen2020-09-23 17:03:42 +0200
committerJosh Chen2020-09-23 17:03:42 +0200
commit3922e24270518be67192ad6928bb839132c74c07 (patch)
treefa15b6f440a778b6804c8d3ec546188721cbd1e5 /.github/isabelle-action
parent77df99b3ffa41395ced31785074525c85e35fee9 (diff)
Basic experiments adding reduction to the type checker
Diffstat (limited to '.github/isabelle-action')
0 files changed, 0 insertions, 0 deletions