Natural Deduction Planner Activity

Assistant for generating Natural Deduction style proofs

Status: Beta

Brought to you by: declanthompson

Activity for Natural Deduction Planner

1 decade ago
Natural Deduction Planner released /ndproof.sty
1 decade ago
Natural Deduction Planner released /ProofAssistant 1.4.4.jar
1 decade ago
Proof Assistant released /ProofAssistant 1.4.3.jar
1 decade ago
Proof Assistant released /ProofAssistant 1.4.0.jar
1 decade ago
Proof Assistant released /images/to p or not to p.gif
1 decade ago
Proof Assistant released /README.txt
1 decade ago
Proof Assistant released /ProofAssistant 1.4.1.jar
1 decade ago
Proof Assistant released /ProofAssistant 1.3.3.jar
1 decade ago
Proof Assistant released /version history.txt
1 decade ago
Proof Assistant released /ProofAssistant 1.4.2.jar
1 decade ago
Proof Assistant released /ProofAssistant 1.3.1.jar
1 decade ago
Declan Thompson created a blog post

Version 1.4.2
1 decade ago
Proof Assistant released /ProofAssistant 1.4.2.jar
1 decade ago
Declan Thompson modified a wiki page

Style Guide
1 decade ago
Declan Thompson created a wiki page

Style Guide
1 decade ago
Declan Thompson modified a wiki page

Basic Usage
1 decade ago
Declan Thompson modified a wiki page

Home
1 decade ago
Declan Thompson modified a wiki page

Home
1 decade ago
Declan Thompson modified a wiki page

Home
1 decade ago
Declan Thompson modified a wiki page

Home
1 decade ago
Declan Thompson modified ticket #2

Same Line Button Missing
1 decade ago
Declan Thompson posted a comment on ticket #2

Fixed in 1.4.1
1 decade ago
Proof Assistant released /ProofAssistant 1.4.1.jar
1 decade ago
Declan Thompson created a blog post

Version 1.4.0
1 decade ago
Proof Assistant released /images/to p or not to p.gif
1 decade ago
Proof Assistant released /ProofAssistant 1.4.0.jar
1 decade ago
Declan Thompson modified a wiki page

Home
1 decade ago
Declan Thompson modified a wiki page

Settings
1 decade ago
Declan Thompson modified a wiki page

Settings
1 decade ago
Declan Thompson modified a wiki page

Advanced Usage
1 decade ago
Declan Thompson modified a wiki page

Advanced Usage
1 decade ago
Declan Thompson modified a wiki page

Basic Usage
1 decade ago
Declan Thompson created a blog post

Version 1.3.3
1 decade ago
Declan Thompson posted a comment on ticket #1

Fixed in 1.3.3
1 decade ago
Declan Thompson modified ticket #1

Export proof with identity boxes gives negative line numbers
1 decade ago
Declan Thompson created ticket #2

Same Line Button Missing
1 decade ago
Proof Assistant released /ProofAssistant 1.3.3.jar
1 decade ago
Declan Thompson modified a comment on ticket #1

labels: identity boxes, export --> identity boxes, export status: open --> accepted...
1 decade ago
Declan Thompson modified ticket #1

Export proof with identity boxes gives negative line numbers
1 decade ago
Declan Thompson modified a wiki page

Home
1 decade ago
Declan Thompson modified a wiki page

Home
1 decade ago
Declan Thompson created a blog post on proofassistant

Version 1.3.1
1 decade ago
proofassistant released /version history.txt
1 decade ago
Declan Thompson modified a wiki page on proofassistant

Home
1 decade ago
Declan Thompson created a wiki page on proofassistant

Advanced Usage
1 decade ago
Declan Thompson created a wiki page on proofassistant

Settings
1 decade ago
Declan Thompson modified a wiki page on proofassistant

Home
1 decade ago
Declan Thompson modified a wiki page on proofassistant

Home
1 decade ago
Declan Thompson modified a wiki page on proofassistant

Home
1 decade ago
Declan Thompson modified a wiki page on proofassistant

Basic Usage
1 decade ago
Declan Thompson created a wiki page on proofassistant

Basic Usage
1 decade ago
Declan Thompson created ticket #1

Export proof with identity boxes gives negative line numbers
1 decade ago
Declan Thompson modified a wiki page on proofassistant

Home
1 decade ago
proofassistant released /README.txt
1 decade ago
proofassistant released /ProofAssistant 1.3.1.jar
1 decade ago
Declan Thompson modified a wiki page on proofassistant

Home
1 decade ago
Declan Thompson modified a wiki page on proofassistant

Home

Gen AI apps are built with MongoDB Atlas

Atlas offers built-in vector search and global availability across 125+ regions. Start building AI apps faster, all in one place.

Try Free →

Natural Deduction Planner Activity

Assistant for generating Natural Deduction style proofs

Activity for Natural Deduction Planner

Natural Deduction Planner released /ndproof.sty

Natural Deduction Planner released /ProofAssistant 1.4.4.jar

Proof Assistant released /ProofAssistant 1.4.3.jar

Proof Assistant released /ProofAssistant 1.4.0.jar

Proof Assistant released /images/to p or not to p.gif

Proof Assistant released /README.txt

Proof Assistant released /ProofAssistant 1.4.1.jar

Proof Assistant released /ProofAssistant 1.3.3.jar

Proof Assistant released /version history.txt

Proof Assistant released /ProofAssistant 1.4.2.jar

Proof Assistant released /ProofAssistant 1.3.1.jar

Declan Thompson created a blog post

Proof Assistant released /ProofAssistant 1.4.2.jar

Declan Thompson modified a wiki page

Declan Thompson created a wiki page

Declan Thompson modified a wiki page

Declan Thompson modified a wiki page

Declan Thompson modified a wiki page

Declan Thompson modified a wiki page

Declan Thompson modified a wiki page

Declan Thompson modified ticket #2

Declan Thompson posted a comment on ticket #2

Proof Assistant released /ProofAssistant 1.4.1.jar

Declan Thompson created a blog post

Proof Assistant released /images/to p or not to p.gif

Proof Assistant released /ProofAssistant 1.4.0.jar

Declan Thompson modified a wiki page

Declan Thompson modified a wiki page

Declan Thompson modified a wiki page

Declan Thompson modified a wiki page

Declan Thompson modified a wiki page

Declan Thompson modified a wiki page

Declan Thompson created a blog post

Declan Thompson posted a comment on ticket #1

Declan Thompson modified ticket #1

Declan Thompson created ticket #2

Proof Assistant released /ProofAssistant 1.3.3.jar

Declan Thompson modified a comment on ticket #1

Declan Thompson modified ticket #1

Declan Thompson modified a wiki page

Declan Thompson modified a wiki page

Declan Thompson created a blog post on proofassistant

proofassistant released /version history.txt

Declan Thompson modified a wiki page on proofassistant

Declan Thompson created a wiki page on proofassistant

Declan Thompson created a wiki page on proofassistant

Declan Thompson modified a wiki page on proofassistant

Declan Thompson modified a wiki page on proofassistant

Declan Thompson modified a wiki page on proofassistant

Declan Thompson modified a wiki page on proofassistant

Declan Thompson created a wiki page on proofassistant

Declan Thompson created ticket #1

Declan Thompson modified a wiki page on proofassistant

proofassistant released /README.txt

proofassistant released /ProofAssistant 1.3.1.jar

Declan Thompson modified a wiki page on proofassistant

Declan Thompson modified a wiki page on proofassistant