Skip to content

Commit

Permalink
add version of Merge.kif in THF with Kripke-style modals
Browse files Browse the repository at this point in the history
  • Loading branch information
@apease
apease committed Jul 5, 2024
1 parent a6b6362 commit 70fe2d0
Showing 1 changed file with 25,605 additions and 0 deletions.
Loading

0 comments on commit 70fe2d0

Please sign in to comment.