Lib.rs

› Users #logic #proof-assistant

teiesti

Tobias Stolzmann

Joined crates-io 2 weeks ago. Joined GitHub 12 years ago.

Shares crates with

ZachJHansen

teiesti created 1 crate