-- Grace17 core library
-- Part of the Grace17 proof assistant for mathematics based on set theory.
-- Copyright (c) 2026 Grant Passmore.
-- Released under the Apache License 2.0. See LICENSE in the repository root.
-- Authors: Grant Passmore

module Grace.Core
namespace Grace.Core
import Grace.Core.Nat.Order
import Grace.Core.List
import Grace.Core.Syntax

end Grace.Core