hax-rust-engine 0.3.3

The engine of the hax toolchain.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

# Hax Rust Engine

This crate implements an alternative engine for Rust: the main one is implemented in OCaml and is located in `/engine`.
This Rust engine is designed so that it can re-use some bits of the OCaml engine.

The plan is to slowly deprecate the OCaml engine, rewrite most of its components and drop it.

## Usage
The Rust engine supports only one backend for now: `Lean`.
The Lean backend is currently empty and produces only a dummy file.

To run it, use the follwing command:
```bash
cargo hax into lean
```