This repo has been moved to lean4-exp/Logic.

logic4

Logic library for Lean 4.

• The 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.