Project

General

Profile

Overview

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

To clone, use

git clone git://git8.cs.fau.de/ruitenburg1984

Issue tracking

open closed Total
Bug 0 0 0
Feature 0 0 0
Support 0 0 0

View all issues | Calendar | Gantt

Members

Manager: Tadeusz Litak