hax-lib 0.4.2

Hax-specific helpers for Rust programs
Documentation 
1
2
3
4
5
6
7
8
9
10
11

import CoreModels.HaxLib.Prop
import CoreModels.HaxLib.Int

/-!

# Hax Lib

This module contains Lean definitions for the `hax_lib` crate, in particular definitions
that allow us to use mathematical integers in Rust specifications.

-/