Showing the last saved plugin snapshot.

← Leaderboard / Workflow / Plugin
Last repository activity November 11, 2026 · Created November 4, 2026

Snerou/dsh-reason-tree

“Reason tree: breaks a conclusion into a bottom-up argument tree, marks each branch as holds, fails or open, and jumps…”

Star rank
#13778
declared plugin rank
In Workflow
#542
category rank
Stars
0
GitHub repository
Forks
0
GitHub repository
Watchers
0
GitHub subscribers
Open on GitHub ↗
TL;DR

Reason tree: breaks a conclusion into a bottom-up argument tree, marks each branch as holds, fails or open, and jumps to the source file in Hippocampus.

30 days of GitHub stars
+0 stars
+0% observed change
Oct 14Oct 28Nov 12