LEAN_LIB_VERSION
hax_
types
0.3.7
In hax_
types::
pins
hax_types
::
pins
Constant
LEAN_
LIB_
VERSION
Copy item path
Source
pub const LEAN_LIB_VERSION: &
str
= "v0.2.0";
Expand description
Commit of the Hax lean proof library.