Skip to content

GitLab

Explore

Sign in

Software
Reskell

R

Reskell

Project information

Experimental Haskell implementation of lattice-valued resolution.

Haskell resolution fuzzy

7 Commits
1 Branch
0 Tags

README
GNU GPLv3

Created on

July 20, 2020

Copy SSH clone URLgit@git8.cs.fau.de:software/reskell.git
Copy HTTPS clone URLhttps://git8.cs.fau.de/software/reskell.git