Skip to content

Commit

Permalink
Merge PR coq#19237: Stronger invariants in the structure of Declare.p…
Browse files Browse the repository at this point in the history 
…roof_entry

Reviewed-by: ppedrot
Co-authored-by: ppedrot <[email protected]>
  • Loading branch information
@coqbot-app @ppedrot
coqbot-app[bot] and ppedrot authored Jun 28, 2024
2 parents 93f313f + d05a2c1 commit f6fdc81
Showing 1 changed file with 281 additions and 256 deletions.
Loading

0 comments on commit f6fdc81

Please sign in to comment.