Grace/Core.g17

Open in Workbench Download source

Imports

Grace.Core.Nat.Order · Grace.Core.List · Grace.Core.Syntax

Declarations

Source

1-- Grace17 core library2-- Part of the Grace17 proof assistant for mathematics based on set theory.3-- Copyright (c) 2026 Grant Passmore.4-- Released under the Apache License 2.0. See LICENSE in the repository root.5-- Authors: Grant Passmore67module Grace.Core8namespace Grace.Core9import Grace.Core.Nat.Order10import Grace.Core.List11import Grace.Core.Syntax1213end Grace.Core14