pereq-dev/hax · Discussions · GitHub

Repository navigation

Expressing invariant of a an array used to index into another array
Q&A ROMemories

Discussions

You must be logged in to vote

Nix/crane vendoring with hax as a git dep

frantisekfarka asked Jun 5, 2026 in Q&A · Unanswered

1
You must be logged in to vote

Proving loop termination with an addition

ROMemories asked Mar 28, 2025 in Q&A · Unanswered

1
You must be logged in to vote

Expressing invariant of a an array used to index into another array

ROMemories asked Sep 20, 2024 in Q&A · Answered

2