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)

This is not an updated link anymore. The repository has been moved to https://git8.cs.fau.de/software/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