Repositories list

• athena

  Public
  Athena is a modern, practical language for proof engineering & natural deduction.

  functional-programminglogictheorem-proving+ 4proof-assistantformal-verificationnatural-deductionproof-language

  Standard ML

  •

  Apache License 2.0

  •4•66•4•1•Updated Nov 15, 2024Nov 15, 2024

• athena-playground

  Public
  JavaScript

  •1•1•0•0•Updated Nov 3, 2023Nov 3, 2023

• Athena_LibDDDAS

  Public
  This repository contains an extension of the Athena library for reasoning about properties of Dynamic Data-Driven Aerospace Systems

  Python

  •3•0•0•0•Updated Aug 4, 2023Aug 4, 2023

• athena-language-server

  Public
  A language server for the Athena proof language

  Rust

  •

  Apache License 2.0

  •1•0•1•1•Updated Aug 2, 2023Aug 2, 2023

• athena-rs

  Public
  Rust

  •

  Apache License 2.0

  •0•0•0•0•Updated Mar 30, 2023Mar 30, 2023

• vscode-athena

  Public
  Athena language support for VS Code (work in progress)

  0•0•0•0•Updated May 26, 2022May 26, 2022