Skip to content

GitLab

Explore

Sign in

Software
Ruitenburg1984

R

Ruitenburg1984

Project information

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

22 Commits
1 Branch
1 Tag

Created on

March 08, 2019

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