This is stars and forks stats for /AthenaFoundation/athena repository. As of 26 Apr, 2024 this repository has 55 stars and 3 forks.
Athena Proof Framework This repo contains the source code for Athena, a system for proof engineering based on polymorphic multi-sorted first-order logic. Athena supports natural deduction, proof organization and abstraction, theory development, equational reasoning and (conditional) rewriting, structural induction, and more. It is also seamlessly integrated with a number of automated theorem provers, as well as SAT and SMT solvers. A Quick Example Athena is very close in style to the way humans naturally...
Athena Proof Framework This repo contains the source code for Athena, a system for proof engineering based on polymorphic multi-sorted first-order logic. Athena supports natural deduction, proof organization and abstraction, theory development, equational reasoning and (conditional) rewriting, structural induction, and more. It is also seamlessly integrated with a number of automated theorem provers, as well as SAT and SMT solvers. A Quick Example Athena is very close in style to the way humans naturally...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
reboot-dev/pyprotoc-plugin | StarlarkPythonJinja | 2 | 0 | 1 | 0 |
spences10/sveltekit-embed | TypeScriptSvelteCSS | 170 | 0 | 9 | 0 |
iCrawl/icrawl | TypeScriptJavaScriptCSS | 9 | 0 | 28 | 0 |
mawoka-myblock/ClassQuiz | SveltePythonTypeScript | 255 | 0 | 45 | 0 |
cupcakearmy/cryptgeon | SvelteTypeScriptRust | 595 | 0 | 56 | 0 |
OLSF/carpe | SvelteRustTypeScript | 82 | 0 | 36 | 0 |
rsd-devel/rsd | SystemVerilogTclC | 817 | 0 | 83 | 0 |
Sjors/nado-book | TeXShellPython | 59 | 0 | 11 | 0 |
statelyai/xstate | TypeScriptOther | 24.9k | 0 | 1.1k | 0 |
malerba118/scrollex | TypeScriptHTMLCSS | 1.5k | 0 | 27 | 0 |