Loreon
Labs
Platform
Docs
Home
Ecosystems
Java
fwlj
JanBessai/fwlj
Java
Emerging
GitHub
Stars
1
Forks
—
Contributors
2
Last push
56mo ago
Recent commits
Latest commits.
.
f19e868
Marco Servetto
56mo ago
some tests for termination calculus
d61c135
marcoServeto
56mo ago
.
73ac515
Marco Servetto
57mo ago
Added syntax for specification
ba953e4
Marco Servetto
57mo ago
Completed ToCoq
e63fa44
Marco Servetto
57mo ago
coq output tested, few todos left
70be57d
Marco Servetto
58mo ago
Eliminate NoReabstract and add Subsumption
0fa0134
Jan Bessai
58mo ago
Fix missing type arguments in method calls
3538a59
Jan Bessai
58mo ago
Top contributors
Builders behind this project.
JanBessai
10 commits
MarcoServetto
10 commits
