Explore projects

C

Software / CoPaR
GNU General Public License v3.0 or later

The Coalgebraic Partition Refiner

3

Updated Dec 17, 2024

3 0 5 6

Updated Dec 17, 2024
R

Software / Ruitenburg1984

This is a formalisation of Wim Ruitenburg's paper "On the Period of Sequences (An(p)) in Intuitionistic Propositional Calculus" (JSL 1984).

0

Updated Nov 26, 2023

0 0 0 0

Updated Nov 26, 2023
C

Software / copar-benchmarks

2

Updated Sep 11, 2023

2 0 0 0

Updated Sep 11, 2023
R

Software / Reskell
GNU General Public License v3.0 only

Experimental Haskell implementation of lattice-valued resolution.

Haskell resolution fuzzy

0

Updated Apr 12, 2022

0 0 0 0

Updated Apr 12, 2022