Docs.rs
departed-0.1.0
departed 0.1.0
Docs.rs crate page
MIT
Links
Repository
Crates.io
Source
Owners
jonathanrlouie
Dependencies
text_io ^0.1.8
dev
Versions
Platform
i686-pc-windows-msvc
i686-unknown-linux-gnu
x86_64-apple-darwin
x86_64-pc-windows-msvc
x86_64-unknown-linux-gnu
Feature flags
Rust
About docs.rs
Privacy policy
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
☰
All crates
[
−
]
List of all items
Structs
logic::And
logic::Equals
logic::Implies
logic::Not
logic::Or
named::Named
proof::Proof
proof::SuchThat
Enums
logic::False
logic::True
Traits
named::NameFn
named::NameFn2
Macros
gdp
Functions
logic::absurd
logic::and_elim_l
logic::and_elim_r
logic::and_intro
logic::axiom
logic::contradicts
logic::elim_or
logic::equals
logic::implies_elim
logic::implies_intro
logic::not_intro
logic::or_intro_l
logic::or_intro_r
logic::refl
named::name
named::name2
named::unsafe_name
proof::such_that