logic4
Logic library for Lean 4.
- The
logic4library is copyright © 2023 François G. Dorais. The library is released under the Apache 2.0 license. See the file LICENSE for additional details.
logic
Logic Library for Lean 4
logicLogic library for Lean 4.
logic4 library is copyright © 2023 François G. Dorais. The library is released under the Apache 2.0 license. See the file LICENSE for additional details.