User Activity
-
Posted
a comment
on
discussion TXS - Help
on
TeXstudio - A LaTeX Editor
Sweet, I've included the .sty. Where is the appropriate option for me to check? I...
-
Posted
a comment
on
discussion TXS - Help
on
TeXstudio - A LaTeX Editor
Hello, I have a custom .sty file with a number of custom commands that I regularly...
-
Created
a blog post
on
Natural Deduction Planner
Version 1.4.2
-
Modified
a wiki page
on
Natural Deduction Planner
Style Guide
-
Created
a wiki page
on
Natural Deduction Planner
Style Guide
-
Modified
a wiki page
on
Natural Deduction Planner
Basic Usage
-
Modified
a wiki page
on
Natural Deduction Planner
Home
-
Modified
a wiki page
on
Natural Deduction Planner
Home
Personal Data
- Username:
- declanthompson
- Joined:
- 2014-01-31 06:05:52
Projects
This is a list of open source software projects that Declan Thompson is associated with:
- Natural Deduction Planner Assistant for generating Natural Deduction style proofs Last Updated:
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.