All Downloads are FREE. Search and download functionalities are using the official Maven repository.
Search JAR files by class name

Download base JAR 0.14 with all dependencies


The Aya proof assistant

Files of the artifact base version 0.14 from the group org.aya-prover.

Artifact base
Group org.aya-prover
Version 0.14
Last update 06. December 2021
Tags: assistant proof
Organization not specified
URL https://www.aya-prover.org
License MIT
Dependencies amount 2
Dependencies syntax, tools-md,
There are maybe transitive dependencies!
There is a newer version: 0.33.0
Show newest version
Show more of this group  Show more artifacts with this name
Show all versions of base Show documentation

Please rate this JAR file. Is it a good library?

0 downloads

Source code of base version 0.14

META-INF
META-INF.META-INF.MANIFEST.MF
.module-info
org.aya.concrete
org.aya.concrete.org.aya.concrete.Expr
org.aya.concrete.org.aya.concrete.Pattern
org.aya.concrete.desugar
org.aya.concrete.desugar.org.aya.concrete.desugar.AyaBinOpSet
org.aya.concrete.desugar.org.aya.concrete.desugar.BinExprParser
org.aya.concrete.desugar.org.aya.concrete.desugar.BinPatternParser
org.aya.concrete.desugar.org.aya.concrete.desugar.Desugarer
org.aya.concrete.desugar.error
org.aya.concrete.desugar.error.org.aya.concrete.desugar.error.LevelProblem
org.aya.concrete.desugar.error.org.aya.concrete.desugar.error.OperatorProblem
org.aya.concrete.parse
org.aya.concrete.parse.org.aya.concrete.parse.AyaParsing
org.aya.concrete.parse.org.aya.concrete.parse.AyaProducer
org.aya.concrete.parse.org.aya.concrete.parse.ParsingInterruptedException
org.aya.concrete.parse.org.aya.concrete.parse.ReporterErrorListener
org.aya.concrete.parse.error
org.aya.concrete.parse.error.org.aya.concrete.parse.error.BadCounterexampleWarn
org.aya.concrete.parse.error.org.aya.concrete.parse.error.BadModifierWarn
org.aya.concrete.parse.error.org.aya.concrete.parse.error.ParseError
org.aya.concrete.parse.error.org.aya.concrete.parse.error.PrimDependencyError
org.aya.concrete.parse.error.org.aya.concrete.parse.error.RedefinitionError
org.aya.concrete.parse.error.org.aya.concrete.parse.error.UnknownPrimError
org.aya.concrete.parse
org.aya.concrete.parse.org.aya.concrete.parse.package-info
org.aya.concrete.remark
org.aya.concrete.remark.org.aya.concrete.remark.CodeAttrProcessor
org.aya.concrete.remark.org.aya.concrete.remark.CodeOptions
org.aya.concrete.remark.org.aya.concrete.remark.Literate
org.aya.concrete.remark.org.aya.concrete.remark.Remark
org.aya.concrete.remark.org.aya.concrete.remark.UnsupportedMarkdown
org.aya.concrete.resolve
org.aya.concrete.resolve.org.aya.concrete.resolve.ModuleCallback
org.aya.concrete.resolve.org.aya.concrete.resolve.ResolveInfo
org.aya.concrete.resolve.context
org.aya.concrete.resolve.context.org.aya.concrete.resolve.context.BindContext
org.aya.concrete.resolve.context.org.aya.concrete.resolve.context.Context
org.aya.concrete.resolve.context.org.aya.concrete.resolve.context.EmptyContext
org.aya.concrete.resolve.context.org.aya.concrete.resolve.context.ModuleContext
org.aya.concrete.resolve.context.org.aya.concrete.resolve.context.NoExportContext
org.aya.concrete.resolve.context.org.aya.concrete.resolve.context.PhysicalModuleContext
org.aya.concrete.resolve.error
org.aya.concrete.resolve.error.org.aya.concrete.resolve.error.AmbiguousNameError
org.aya.concrete.resolve.error.org.aya.concrete.resolve.error.AmbiguousNameWarn
org.aya.concrete.resolve.error.org.aya.concrete.resolve.error.DuplicateExportError
org.aya.concrete.resolve.error.org.aya.concrete.resolve.error.DuplicateModNameError
org.aya.concrete.resolve.error.org.aya.concrete.resolve.error.DuplicateNameError
org.aya.concrete.resolve.error.org.aya.concrete.resolve.error.GeneralizedNotAvailableError
org.aya.concrete.resolve.error.org.aya.concrete.resolve.error.ModNameNotFoundError
org.aya.concrete.resolve.error.org.aya.concrete.resolve.error.ModNotFoundError
org.aya.concrete.resolve.error.org.aya.concrete.resolve.error.ModShadowingWarn
org.aya.concrete.resolve.error.org.aya.concrete.resolve.error.QualifiedNameNotFoundError
org.aya.concrete.resolve.error.org.aya.concrete.resolve.error.ResolveProblem
org.aya.concrete.resolve.error.org.aya.concrete.resolve.error.ShadowingWarn
org.aya.concrete.resolve.error.org.aya.concrete.resolve.error.UnknownOperatorError
org.aya.concrete.resolve.error.org.aya.concrete.resolve.error.UnqualifiedNameNotFoundError
org.aya.concrete.resolve.module
org.aya.concrete.resolve.module.org.aya.concrete.resolve.module.CachedModuleLoader
org.aya.concrete.resolve.module.org.aya.concrete.resolve.module.EmptyModuleLoader
org.aya.concrete.resolve.module.org.aya.concrete.resolve.module.FileModuleLoader
org.aya.concrete.resolve.module.org.aya.concrete.resolve.module.ModuleListLoader
org.aya.concrete.resolve.module.org.aya.concrete.resolve.module.ModuleLoader
org.aya.concrete.resolve.visitor
org.aya.concrete.resolve.visitor.org.aya.concrete.resolve.visitor.ExprResolver
org.aya.concrete.resolve.visitor.org.aya.concrete.resolve.visitor.StmtResolver
org.aya.concrete.resolve.visitor.org.aya.concrete.resolve.visitor.StmtShallowResolver
org.aya.concrete.stmt
org.aya.concrete.stmt.org.aya.concrete.stmt.BindBlock
org.aya.concrete.stmt.org.aya.concrete.stmt.Command
org.aya.concrete.stmt.org.aya.concrete.stmt.Decl
org.aya.concrete.stmt.org.aya.concrete.stmt.Generalize
org.aya.concrete.stmt.org.aya.concrete.stmt.QualifiedID
org.aya.concrete.stmt.org.aya.concrete.stmt.Sample
org.aya.concrete.stmt.org.aya.concrete.stmt.Signatured
org.aya.concrete.stmt.org.aya.concrete.stmt.Stmt
org.aya.concrete.visitor
org.aya.concrete.visitor.org.aya.concrete.visitor.ExprConsumer
org.aya.concrete.visitor.org.aya.concrete.visitor.ExprFixpoint
org.aya.concrete.visitor.org.aya.concrete.visitor.StmtConsumer
org.aya.concrete.visitor.org.aya.concrete.visitor.StmtFixpoint
org.aya.core
org.aya.core.org.aya.core.Matching
org.aya.core.org.aya.core.Meta
org.aya.core.def
org.aya.core.def.org.aya.core.def.CtorDef
org.aya.core.def.org.aya.core.def.DataDef
org.aya.core.def.org.aya.core.def.Def
org.aya.core.def.org.aya.core.def.FieldDef
org.aya.core.def.org.aya.core.def.FnDef
org.aya.core.def.org.aya.core.def.PrimDef
org.aya.core.def.org.aya.core.def.StructDef
org.aya.core.def.org.aya.core.def.SubLevelDef
org.aya.core.def.org.aya.core.def.TopLevelDef
org.aya.core.def.org.aya.core.def.UserDef
org.aya.core.ops
org.aya.core.ops.org.aya.core.ops.Eta
org.aya.core.pat
org.aya.core.pat.org.aya.core.pat.Pat
org.aya.core.pat.org.aya.core.pat.PatMatcher
org.aya.core.pat.org.aya.core.pat.PatToTerm
org.aya.core.pat.org.aya.core.pat.PatUnify
org.aya.core.serde
org.aya.core.serde.org.aya.core.serde.CompiledAya
org.aya.core.serde.org.aya.core.serde.SerDef
org.aya.core.serde.org.aya.core.serde.SerLevel
org.aya.core.serde.org.aya.core.serde.SerPat
org.aya.core.serde.org.aya.core.serde.SerTerm
org.aya.core.serde.org.aya.core.serde.Serializer
org.aya.core.sort
org.aya.core.sort.org.aya.core.sort.LevelSubst
org.aya.core.sort.org.aya.core.sort.Sort
org.aya.core.term
org.aya.core.term.org.aya.core.term.CallTerm
org.aya.core.term.org.aya.core.term.ElimTerm
org.aya.core.term.org.aya.core.term.ErrorTerm
org.aya.core.term.org.aya.core.term.FormTerm
org.aya.core.term.org.aya.core.term.IntroTerm
org.aya.core.term.org.aya.core.term.RefTerm
org.aya.core.term.org.aya.core.term.Term
org.aya.core.visitor
org.aya.core.visitor.org.aya.core.visitor.Normalizer
org.aya.core.visitor.org.aya.core.visitor.RefFinder
org.aya.core.visitor.org.aya.core.visitor.Renamer
org.aya.core.visitor.org.aya.core.visitor.Substituter
org.aya.core.visitor.org.aya.core.visitor.TermConsumer
org.aya.core.visitor.org.aya.core.visitor.TermFixpoint
org.aya.core.visitor.org.aya.core.visitor.Unfolder
org.aya.core.visitor.org.aya.core.visitor.VarConsumer
org.aya.core.visitor.org.aya.core.visitor.Zonker
org.aya.distill
org.aya.distill.org.aya.distill.BaseDistiller
org.aya.distill.org.aya.distill.ConcreteDistiller
org.aya.distill.org.aya.distill.CoreDistiller
org.aya.generic
org.aya.generic.org.aya.generic.Constants
org.aya.generic.org.aya.generic.Level
org.aya.generic.org.aya.generic.Modifier
org.aya.generic.org.aya.generic.ParamLike
org.aya.generic.ref
org.aya.generic.ref.org.aya.generic.ref.BinOpCollector
org.aya.generic.ref.org.aya.generic.ref.GeneralizedVar
org.aya.generic.ref.org.aya.generic.ref.PreLevelVar
org.aya.prelude
org.aya.prelude.org.aya.prelude.GeneratedVersion
org.aya.tyck
org.aya.tyck.org.aya.tyck.ExprTycker
org.aya.tyck.org.aya.tyck.LocalCtx
org.aya.tyck.org.aya.tyck.StmtTycker
org.aya.tyck.org.aya.tyck.TyckState
org.aya.tyck.error
org.aya.tyck.error.org.aya.tyck.error.BadTypeError
org.aya.tyck.error.org.aya.tyck.error.CircularSignatureError
org.aya.tyck.error.org.aya.tyck.error.CounterexampleError
org.aya.tyck.error.org.aya.tyck.error.FieldProblem
org.aya.tyck.error.org.aya.tyck.error.Goal
org.aya.tyck.error.org.aya.tyck.error.HoleProblem
org.aya.tyck.error.org.aya.tyck.error.LevelMismatchError
org.aya.tyck.error.org.aya.tyck.error.LicitProblem
org.aya.tyck.error.org.aya.tyck.error.NotYetTyckedError
org.aya.tyck.error.org.aya.tyck.error.PrimProblem
org.aya.tyck.error.org.aya.tyck.error.ProjIxError
org.aya.tyck.error.org.aya.tyck.error.TupleProblem
org.aya.tyck.error.org.aya.tyck.error.UnifyError
org.aya.tyck.error.org.aya.tyck.error.UnivArgsError
org.aya.tyck.order
org.aya.tyck.order.org.aya.tyck.order.AyaOrgaTycker
org.aya.tyck.order.org.aya.tyck.order.AyaSccTycker
org.aya.tyck.order.org.aya.tyck.order.SigRefFinder
org.aya.tyck.order.org.aya.tyck.order.TyckUnit
org.aya.tyck.pat
org.aya.tyck.pat.org.aya.tyck.pat.ClausesProblem
org.aya.tyck.pat.org.aya.tyck.pat.Conquer
org.aya.tyck.pat.org.aya.tyck.pat.MCT
org.aya.tyck.pat.org.aya.tyck.pat.PatClassifier
org.aya.tyck.pat.org.aya.tyck.pat.PatTree
org.aya.tyck.pat.org.aya.tyck.pat.PatTycker
org.aya.tyck.pat.org.aya.tyck.pat.PatternProblem
org.aya.tyck.trace
org.aya.tyck.trace.org.aya.tyck.trace.MdUnicodeTrace
org.aya.tyck.trace.org.aya.tyck.trace.Trace
org.aya.tyck.unify
org.aya.tyck.unify.org.aya.tyck.unify.DefEq
org.aya.tyck.unify.level
org.aya.tyck.unify.level.org.aya.tyck.unify.level.LevelEqnSet
org.aya.tyck.unify.level.org.aya.tyck.unify.level.LevelSolver




© 2015 - 2024 Weber Informatics LLC | Privacy Policy