Skip to content

Commit

Permalink
Store syntax information in Auto Lemma's deriv trees
Browse files Browse the repository at this point in the history
  • Loading branch information
@JOSHCLUNE
JOSHCLUNE committed Sep 28, 2024
1 parent b143441 commit 98ce417
Show file tree
Hide file tree
Showing 4 changed files with 198 additions and 74 deletions.
Loading

0 comments on commit 98ce417

Please sign in to comment.