hax-lib 0.4.2

Hax-specific helpers for Rust programs
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

import CoreModels.Command
import CoreModels.MissingAeneas
import CoreModels.Core
import CoreModels.Alloc
import CoreModels.HaxLib
import CoreModels.RustPrimitives
import CoreModels.Spec

/-!

# Rust core models Lean package

This Lean package contains the Lean extraction of Rust core models and supporting infrastructure.
See `README.md` for more info.

-/