issues
search
kth-step
/
abs-metatheory
https://kth-step.github.io/abs-metatheory
MIT License
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Extensional maps
#18
Aqissiaq
opened
6 months ago
0
license under MIT license
#17
palmskog
closed
6 months ago
0
License
#16
palmskog
closed
6 months ago
1
Finish admits using FMap's Equals
#15
palmskog
closed
6 months ago
0
Extensional maps
#14
Aqissiaq
opened
6 months ago
1
WIP on alternative definitions of ABS relations
#13
palmskog
opened
7 months ago
0
add coq-stdpp as dependency, add abs_examples module
#12
palmskog
closed
7 months ago
0
Type preservation
#11
Aqissiaq
closed
6 months ago
3
Use nested recursion for fresh variables
#10
palmskog
closed
8 months ago
0
Equations for fresh_vars
#9
Aqissiaq
closed
8 months ago
0
fix Coq names in Ott file
#8
palmskog
closed
8 months ago
0
subst and fresh (with wf!)
#7
Aqissiaq
closed
8 months ago
0
basic document building instructions
#6
palmskog
closed
8 months ago
0
"Confluence"
#5
Aqissiaq
opened
8 months ago
3
refine FIXME items a bit
#4
palmskog
closed
8 months ago
0
Documentation
#3
palmskog
opened
8 months ago
0
Functional metatheory
#2
palmskog
opened
8 months ago
1
remove custom datatypes, add Ott definitions to report
#1
palmskog
closed
8 months ago
0