Skip to content

Commit

Permalink
LogicalRelation.v, without strict positivity issues
Browse files Browse the repository at this point in the history
  • Loading branch information
Martin Baillon committed Oct 30, 2024
1 parent 93c776d commit 4317a29
Show file tree
Hide file tree
Showing 2 changed files with 176 additions and 187 deletions.
Loading

0 comments on commit 4317a29

Please sign in to comment.