hax-lib 0.4.0

Hax-specific helpers for Rust programs
Documentation 
1
2
3
4

import Hax.MissingLean
import Hax.MissingAeneas
import Hax.Tactic
import Hax.Tactic.ForLoopWithInvariantSpec