Skip to content

Commit

Permalink
Prove Expr.eq_true_of_denote
Browse files Browse the repository at this point in the history
  • Loading branch information
@shigoel
shigoel committed Oct 21, 2024
1 parent f002039 commit c23db62
Show file tree
Hide file tree
Showing 2 changed files with 585 additions and 108 deletions.
Loading

0 comments on commit c23db62

Please sign in to comment.