├── .github └── workflows │ └── rust.yaml ├── .gitignore ├── .ignore ├── CHANGELOG ├── Cargo.toml ├── LICENSE ├── README.md ├── bindings.rs ├── lean-toolchain └── src ├── alloc.rs ├── array ├── high_level.rs ├── low_level.rs └── mod.rs ├── closure.rs ├── constructor.rs ├── dbg.rs ├── external.rs ├── init.rs ├── int.rs ├── io.rs ├── lib.rs ├── libuv.rs ├── nat.rs ├── panic.rs ├── primitive ├── boxing.rs ├── float.rs ├── float32.rs ├── int16.rs ├── int32.rs ├── int64.rs ├── int8.rs ├── isize_.rs ├── mod.rs ├── name.rs ├── st.rs ├── uint16.rs ├── uint32.rs ├── uint64.rs ├── uint8.rs └── usize_.rs ├── sarray ├── byte.rs ├── float.rs └── mod.rs ├── share_common.rs ├── string.rs ├── task.rs ├── thread.rs ├── thunk.rs └── types ├── incomplete_array.rs └── mod.rs /.github/workflows/rust.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/.github/workflows/rust.yaml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | /Cargo.lock 3 | -------------------------------------------------------------------------------- /.ignore: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /CHANGELOG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/CHANGELOG -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/README.md -------------------------------------------------------------------------------- /bindings.rs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lean-toolchain: -------------------------------------------------------------------------------- 1 | leanprover/lean4:v4.23.0 2 | -------------------------------------------------------------------------------- /src/alloc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/alloc.rs -------------------------------------------------------------------------------- /src/array/high_level.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/array/high_level.rs -------------------------------------------------------------------------------- /src/array/low_level.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/array/low_level.rs -------------------------------------------------------------------------------- /src/array/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/array/mod.rs -------------------------------------------------------------------------------- /src/closure.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/closure.rs -------------------------------------------------------------------------------- /src/constructor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/constructor.rs -------------------------------------------------------------------------------- /src/dbg.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/dbg.rs -------------------------------------------------------------------------------- /src/external.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/external.rs -------------------------------------------------------------------------------- /src/init.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/init.rs -------------------------------------------------------------------------------- /src/int.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/int.rs -------------------------------------------------------------------------------- /src/io.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/io.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/libuv.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/libuv.rs -------------------------------------------------------------------------------- /src/nat.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/nat.rs -------------------------------------------------------------------------------- /src/panic.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/panic.rs -------------------------------------------------------------------------------- /src/primitive/boxing.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/primitive/boxing.rs -------------------------------------------------------------------------------- /src/primitive/float.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/primitive/float.rs -------------------------------------------------------------------------------- /src/primitive/float32.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/primitive/float32.rs -------------------------------------------------------------------------------- /src/primitive/int16.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/primitive/int16.rs -------------------------------------------------------------------------------- /src/primitive/int32.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/primitive/int32.rs -------------------------------------------------------------------------------- /src/primitive/int64.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/primitive/int64.rs -------------------------------------------------------------------------------- /src/primitive/int8.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/primitive/int8.rs -------------------------------------------------------------------------------- /src/primitive/isize_.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/primitive/isize_.rs -------------------------------------------------------------------------------- /src/primitive/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/primitive/mod.rs -------------------------------------------------------------------------------- /src/primitive/name.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/primitive/name.rs -------------------------------------------------------------------------------- /src/primitive/st.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/primitive/st.rs -------------------------------------------------------------------------------- /src/primitive/uint16.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/primitive/uint16.rs -------------------------------------------------------------------------------- /src/primitive/uint32.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/primitive/uint32.rs -------------------------------------------------------------------------------- /src/primitive/uint64.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/primitive/uint64.rs -------------------------------------------------------------------------------- /src/primitive/uint8.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/primitive/uint8.rs -------------------------------------------------------------------------------- /src/primitive/usize_.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/primitive/usize_.rs -------------------------------------------------------------------------------- /src/sarray/byte.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/sarray/byte.rs -------------------------------------------------------------------------------- /src/sarray/float.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/sarray/float.rs -------------------------------------------------------------------------------- /src/sarray/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/sarray/mod.rs -------------------------------------------------------------------------------- /src/share_common.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/share_common.rs -------------------------------------------------------------------------------- /src/string.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/string.rs -------------------------------------------------------------------------------- /src/task.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/task.rs -------------------------------------------------------------------------------- /src/thread.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/thread.rs -------------------------------------------------------------------------------- /src/thunk.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/thunk.rs -------------------------------------------------------------------------------- /src/types/incomplete_array.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/types/incomplete_array.rs -------------------------------------------------------------------------------- /src/types/mod.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/digama0/lean-sys/HEAD/src/types/mod.rs --------------------------------------------------------------------------------