agda - Robuta Search

https://hackage-content.haskell.org/package/Agda-2.8.0/candidate/docs/Agda-Syntax-Concrete-Operators-Parser-Monad.html Agda.Syntax.Concrete.Operators.Parser.Monad agda syntax concrete operators parser https://unimath.github.io/agda-unimath/elementary-number-theory.mersenne-primes.html Mersenne primes - agda-unimath A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda. mersenne primes agda https://unimath.github.io/agda-unimath/foundation.fiber-inclusions.html Fiber inclusions - agda-unimath A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda. fiber inclusions agda https://www.theicod.org/en/resources/news-archive/words-of-optimism-agda-student-brief-2010 Words of Optimism: AGDA Student Brief 2010 | International Council of Design An international organisation representing the professions of design. The Council was founded as Icograda in London in 1963 and will celebrate its 60th... international council words optimism agda student https://git.amelia.how/amelia/agda-reference-filter/pulls?q=&type=all&sort=recentupdate&state=open&milestone=0&assignee=0 Pull Requests - agda-reference-filter - Shamiko Gitea agda-reference-filter - Filter for linking Agda identifiers in inline code spans pull requests agda reference filter gitea https://unimath.github.io/agda-unimath/foundation.subuniverses.html Subuniverses - agda-unimath A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda. agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/elementary-number-theory.inequality-standard-finite-types.html Inequality on the standard finite types - agda-unimath on the inequality standard finite types https://dev.danilafe.com/DanilaFe/agda-spa/blame/commit/e62f429b869d5121a27c696a1264fc00216719f5/Lattice.agda DanilaFe/agda-spa - agda-spa - Daniel's Tiny Cup Of Tea agda-spa - Attempts at formalizing static program analysis techniques in Agda. daniel s tiny cup agda spa tea https://dev.danilafe.com/DanilaFe/agda-spa/src/commit/5cab39ca8213d831f3d125f1c4ad63058b81c48b/Chain.agda agda-spa/Chain.agda at 5cab39ca8213d831f3d125f1c4ad63058b81c48b - agda-spa - Daniel's Tiny Cup Of... agda-spa - Attempts at formalizing static program analysis techniques in Agda. daniel s tiny cup agda spa chain https://dev.danilafe.com/DanilaFe/agda-spa/src/commit/95669b2c65b124cd13c8f6144e6317917a43d5f3/Lattice/AboveBelow.agda agda-spa/Lattice/AboveBelow.agda at 95669b2c65b124cd13c8f6144e6317917a43d5f3 - agda-spa - Daniel's... agda-spa - Attempts at formalizing static program analysis techniques in Agda. agda spa lattice daniel https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/elementary-number-theory.congruence-natural-numbers.html The congruence relations on the natural numbers - agda-unimath natural numbers congruence relations agda https://unimath.github.io/agda-unimath/group-theory.subgroups-generated-by-subsets-groups.html Subgroups generated by subsets of groups - agda-unimath A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda. subgroups generated subsets agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/commutative-algebra.ideals-commutative-semirings.html Ideals of commutative semirings - agda-unimath ideals commutative semirings agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/elementary-number-theory.strong-induction-natural-numbers.html The strong induction principle for the natural numbers - agda-unimath natural numbers strong induction principle agda https://agda.github.io/agda-stdlib/v1.5/Agda.Builtin.Int.html Agda.Builtin.Int agda builtin int https://unimath.github.io/agda-unimath/foundation.automorphisms-discrete-types.html Automorphisms on discrete types - agda-unimath A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda. discrete types agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/foundation.morphisms-cospan-diagrams.html Morphisms of cospan diagrams - agda-unimath diagrams agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/group-theory.semigroups.html Semigroups - agda-unimath agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/elementary-number-theory.powers-integers.html Powers of integers - agda-unimath powers integers agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/category-theory.natural-transformations-maps-categories.html Natural transformations between maps between categories - agda-unimath natural transformations maps categories agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/category-theory.natural-isomorphisms-functors-categories.html Natural isomorphisms between functors between categories - agda-unimath natural functors categories agda https://www.agda.lt/ Agda agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/category-theory.precategory-of-functors.html The precategory of functors and natural transformations between two precategories - agda-unimath https://agdapad.quasicoherent.io/~Padova2026/ Agda in Padova 2026 agda padova https://hackage-content.haskell.org/package/Agda-2.8.0/candidate/docs/Agda-Syntax-Translation-AbstractToConcrete.html Agda.Syntax.Translation.AbstractToConcrete agda syntax translation https://unimath.github.io/agda-unimath/foundation.homotopy-induction.html Homotopy induction - agda-unimath A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda. induction agda https://unimath.github.io/agda-unimath/category-theory.discrete-categories.html Discrete categories - agda-unimath A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda. discrete categories agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/group-theory.loop-groups-sets.html Concrete automorphism groups on sets - agda-unimath concrete groups sets agda https://agda.com.pl/kolekcja-obuwia/1143-br-213/ 1143 br.213 | AGDA Producent Obuwia br agda producent https://dev.danilafe.com/DanilaFe/agda-spa/src/commit/0705df708e19694f1b5bda326d118bc32fe5751c/Lattice agda-spa/Lattice at 0705df708e19694f1b5bda326d118bc32fe5751c - agda-spa - Daniel's Tiny Cup Of Tea agda-spa - Attempts at formalizing static program analysis techniques in Agda. daniel s tiny cup agda spa lattice https://unimath.github.io/agda-unimath/real-numbers.upper-dedekind-real-numbers.html Upper Dedekind real numbers - agda-unimath A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda. real numbers upper agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/group-theory.monomorphisms-concrete-groups.html Monomorphisms of concrete groups - agda-unimath concrete groups agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/foundation.category-of-families-of-sets.html The category of families of sets - agda-unimath the category families sets agda https://unimath.github.io/agda-unimath/analysis.series-metric-abelian-groups.html Series in metric abelian groups - agda-unimath A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda. series metric groups agda https://hackage-content.haskell.org/package/Agda-2.7.20250701/candidate/docs/Agda-TypeChecking-Inlining.html Agda.TypeChecking.Inlining agda typechecking inlining https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/foundation-core.invertible-maps.html Invertible maps - agda-unimath maps agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/foundation.standard-pullbacks.html Standard pullbacks - agda-unimath standard pullbacks agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/foundation.isolated-elements.html Isolated elements - agda-unimath isolated elements agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/elementary-number-theory.greatest-common-divisor-natural-numbers.html The greatest common divisor of natural numbers - agda-unimath greatest common divisor natural numbers agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/foundation.products-unordered-tuples-of-types.html Products of unordered tuples of types - agda-unimath products tuples types agda https://unimath.github.io/agda-unimath/synthetic-homotopy-theory.powers-of-loops.html Powers of loops - agda-unimath A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda. powers loops agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/structured-types.wild-loops.html Wild loops - agda-unimath wild loops agda https://unimath.github.io/agda-unimath/group-theory.commutators-of-elements-groups.html Commutators of elements in groups - agda-unimath A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda. commutators elements groups agda https://unimath.github.io/agda-unimath/metric-spaces.closed-subsets-metric-spaces.html Closed subsets of metric spaces - agda-unimath A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda. closed subsets metric spaces agda https://unimath.github.io/agda-unimath/category-theory.rigid-objects-precategories.html Rigid objects in a precategory - agda-unimath A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda. in a rigid objects agda https://ongjardimdasborboletas.org/team/agda-cristina/ Agda Cristina - ONG Jardim das Borboletas - agda cristina ong jardim das https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/foundation.inhabited-types.html Inhabited types - agda-unimath types agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/finite-group-theory.abstract-quaternion-group.html The abstract quaternion group of order 8 - agda-unimath the abstract quaternion group order agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/foundation.complements.html Complements of type families - agda-unimath type families complements agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/higher-group-theory.fixed-points-higher-group-actions.html Fixed points of higher group actions - agda-unimath group actions fixed points higher agda https://www.depovitrin.com/26386 DepoVitrin. SESU KARTUS AGDA 100 ML HASSAS PEMBE SHEA itriyat, medikal, kozmetik, dermokozmetik, saglik urunleri satisi agda ml hassas pembe shea https://unimath.github.io/agda-unimath/lists.lists-discrete-types.html Lists of elements in discrete types - agda-unimath A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda. lists elements discrete types agda https://unimath.github.io/agda-unimath/synthetic-homotopy-theory.total-sequential-diagrams.html Total sequential diagrams of dependent sequential diagrams - agda-unimath A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda. total sequential diagrams dependent agda https://unimath.github.io/agda-unimath/univalent-combinatorics.fibers-of-maps.html Fibers of maps between finite types - agda-unimath A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda. fibers maps finite types agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/foundation.fundamental-theorem-of-identity-types.html The fundamental theorem of identity types - agda-unimath fundamental theorem identity types agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/group-theory.normal-closures-subgroups.html Normal closures of subgroups - agda-unimath normal closures subgroups agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/category-theory.functors-from-small-to-large-categories.html Functors from small to large categories - agda-unimath large categories functors small agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/group-theory.group-actions.html Group actions - agda-unimath group actions agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/foundation.function-types.html Function types - agda-unimath function types agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/foundation-core.families-of-equivalences.html Families of equivalences - agda-unimath families equivalences agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/foundation.decidable-propositions.html Decidable propositions - agda-unimath decidable propositions agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/group-theory.perfect-groups.html Perfect groups - agda-unimath perfect groups agda https://hackage-content.haskell.org/package/Agda-2.7.20250510/candidate/docs/Agda-TypeChecking-Serialise-Base.html Agda.TypeChecking.Serialise.Base agda typechecking base https://unimath.github.io/agda-unimath/globular-types.dependent-globular-types.html Dependent globular types - agda-unimath A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda. dependent globular types agda https://programminglanguages.co/language/agda Agda | Programming Languages DB Agda is a dependently typed programming language that supports formal verification. It is primarily used for writing correct and trustworthy software, as well... programming languages agda db https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/foundation.singleton-induction.html Singleton induction - agda-unimath singleton induction agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/commutative-algebra.full-ideals-commutative-rings.html Full ideals of commutative rings - agda-unimath full ideals commutative rings agda https://unimath.github.io/agda-unimath/category-theory.functors-categories.html Functors between categories - agda-unimath A community-driven library of formalized mathematics from a univalent point of view using the dependently typed programming language Agda. functors categories agda https://hp-agda-unimath-vojtechstep.netlify.app/archive/hp-agda-unimath/elementary-number-theory.well-ordering-principle-natural-numbers.html The Well-Ordering Principle of the natural numbers - agda-unimath the well natural numbers ordering principle agda