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

Loading