Search results

Improve docs

Status: Open.

#390 In OpenLogicProject/OpenLogic;

· StanFromIreland opened on Mar 30, 2025

Linting/Spellchecking workflow

Status: Open.

#389 In OpenLogicProject/OpenLogic;

· StanFromIreland opened on Mar 30, 2025

Can I contribute proofs to theorems whose proof left for exercise?

Status: Open.

#362 In OpenLogicProject/OpenLogic;

· marethyu opened on Feb 10, 2024

Russel's Paradox typo

Status: Open.

#339 In OpenLogicProject/OpenLogic;

· HermesMarc opened on Sep 25, 2023

More precise definition of derivations in natural deduction

Status: Open.

#300 In OpenLogicProject/OpenLogic;

· beastaugh opened on Feb 14, 2022

Justify intuitionistic logic through the BHK interpretation could be problematic

Status: Open.

#288 In OpenLogicProject/OpenLogic;

· feffemannen opened on Nov 25, 2021

Recursive functions and the Church-Turing thesis

Status: Open.

#232 In OpenLogicProject/OpenLogic;

· ionathanch opened on Apr 16, 2020

Provide the reader with full information

Status: Open.

#227 In OpenLogicProject/OpenLogic;

· kirk86 opened on Jan 24, 2020

[feature request] Grounding examples for abstract concepts

Status: Open.

#225 In OpenLogicProject/OpenLogic;

· kirk86 opened on Jan 15, 2020

Turing machine continuity w/ other definitions

Status: Open.

#221 In OpenLogicProject/OpenLogic;

· BassP97 opened on Dec 28, 2019

Convert formulas to OLP commands in set-theory

Status: Open.

#205 In OpenLogicProject/OpenLogic;

· rzach opened on Aug 29, 2019

Uniformize reduction, conversion, contraction, equivalence

Status: Open.

#190 In OpenLogicProject/OpenLogic;

· rzach opened on Feb 28, 2019