Pinned Repositories
athena
Athena is a modern, practical language for proof engineering & natural deduction.
athena-language-server
A language server for the Athena proof language
athena-playground
athena-rs
Athena_LibDDDAS
This repository contains an extension of the Athena library for reasoning about properties of Dynamic Data-Driven Aerospace Systems
vscode-athena
Athena language support for VS Code (work in progress)
AthenaFoundation's Repositories
AthenaFoundation/athena
Athena is a modern, practical language for proof engineering & natural deduction.
AthenaFoundation/athena-playground
AthenaFoundation/athena-language-server
A language server for the Athena proof language
AthenaFoundation/athena-rs
AthenaFoundation/Athena_LibDDDAS
This repository contains an extension of the Athena library for reasoning about properties of Dynamic Data-Driven Aerospace Systems
AthenaFoundation/vscode-athena
Athena language support for VS Code (work in progress)