path	# lines of code	# active days	days since first update	days since last update	# commits	# contributors	first updated	last updated	first contributor	last contributor
meta/settings.gradle.kts	2	1	2093	2093	2	2	2020-04-27	2020-04-27	623606+valis@users.noreply.github.com	ice1000kotlin@foxmail.com
meta/src/main/java/org/arend/lib/StdNumberTypechecker.java	64	16	2056	1045	18	4	2020-06-03	2023-03-11	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/linear/CompiledTerms.java	12	3	1188	1140	3	2	2022-10-19	2022-12-06	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/linear/TermCompiler.java	306	23	1219	580	24	4	2022-09-18	2024-06-18	valery.isaev@gmail.com	58226433+s3midetnov@users.noreply.github.com
meta/src/main/java/org/arend/lib/meta/linear/Equation.java	19	5	1219	1140	5	2	2022-09-18	2022-12-06	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/linear/CompiledTerm.java	10	8	1219	580	8	4	2022-09-18	2024-06-18	valery.isaev@gmail.com	58226433+s3midetnov@users.noreply.github.com
meta/src/main/java/org/arend/lib/meta/linear/LinearSolver.java	555	30	1219	559	34	4	2022-09-18	2024-07-09	valery.isaev@gmail.com	kadantsev.georg@yandex.ru
meta/src/main/java/org/arend/lib/meta/linear/LinearSolverMeta.java	56	12	1219	580	14	4	2022-09-18	2024-06-18	valery.isaev@gmail.com	58226433+s3midetnov@users.noreply.github.com
meta/src/main/java/org/arend/lib/meta/FailsMeta.java	59	15	2069	580	15	7	2020-05-21	2024-06-18	valery.isaev@jetbrains.com	58226433+s3midetnov@users.noreply.github.com
meta/src/main/java/org/arend/lib/meta/solver/BaseTermCompiler.java	109	6	1098	580	6	4	2023-01-17	2024-06-18	valery.isaev@gmail.com	58226433+s3midetnov@users.noreply.github.com
meta/src/main/java/org/arend/lib/meta/solver/RingKind.java	2	6	1098	580	6	4	2023-01-17	2024-06-18	valery.isaev@gmail.com	58226433+s3midetnov@users.noreply.github.com
meta/src/main/java/org/arend/lib/meta/ApplyMeta.java	43	14	2142	1140	15	3	2020-03-09	2022-12-06	valery.isaev@jetbrains.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/MakeConstructorMeta.java	49	2	1457	1394	2	2	2022-01-23	2022-03-27	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/ExistsMeta.java	285	27	2011	580	29	5	2020-07-18	2024-06-18	valery.isaev@gmail.com	58226433+s3midetnov@users.noreply.github.com
meta/src/main/java/org/arend/lib/meta/ContradictionMeta.java	518	24	2064	580	26	5	2020-05-26	2024-06-18	valery.isaev@jetbrains.com	58226433+s3midetnov@users.noreply.github.com
meta/src/main/java/org/arend/lib/meta/SIPMeta.java	165	22	1889	580	24	4	2020-11-17	2024-06-18	valery.isaev@gmail.com	58226433+s3midetnov@users.noreply.github.com
meta/src/main/java/org/arend/lib/meta/ExtMeta.java	735	59	1912	580	85	5	2020-10-25	2024-06-18	valery.isaev@gmail.com	58226433+s3midetnov@users.noreply.github.com
meta/src/main/java/org/arend/lib/meta/debug/TimeMeta.java	27	2	1993	1984	2	1	2020-08-05	2020-08-14	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/debug/PrintMeta.java	42	2	1993	1984	2	1	2020-08-05	2020-08-14	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/debug/RandomMeta.java	56	2	1993	1984	2	1	2020-08-05	2020-08-14	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/UnfoldMeta.java	124	20	1978	580	21	4	2020-08-20	2024-06-18	valery.isaev@gmail.com	58226433+s3midetnov@users.noreply.github.com
meta/src/main/java/org/arend/lib/meta/equation/BaseEqualitySolver.java	103	21	1861	927	24	2	2020-12-15	2023-07-07	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/equation/RingSolver.java	310	25	1836	888	30	2	2021-01-09	2023-08-15	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/equation/TermCompiler.java	147	3	1098	1045	3	2	2023-01-17	2023-03-11	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/equation/MonoidSolver.java	771	42	1965	688	48	2	2020-09-02	2024-03-02	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/equation/EqualitySolver.java	145	38	2066	888	40	3	2020-05-24	2023-08-15	valery.isaev@jetbrains.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/equation/datafactory/MonoidDataFactory.java	35	2	1274	927	3	2	2022-07-25	2023-07-07	fedor.part@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/equation/datafactory/DataFactoryBase.java	61	3	1274	927	3	2	2022-07-25	2023-07-07	fedor.part@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/equation/datafactory/CategoryDataFactory.java	70	2	1274	927	2	2	2022-07-25	2023-07-07	fedor.part@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/equation/datafactory/RingDataFactory.java	29	2	1274	927	2	2	2022-07-25	2023-07-07	fedor.part@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/equation/datafactory/GroupDataFactory.java	28	2	1274	927	2	2	2022-07-25	2023-07-07	fedor.part@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/equation/datafactory/DataFactory.java	5	2	1274	927	2	2	2022-07-25	2023-07-07	fedor.part@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/equation/binop_matcher/NatFunctionMatcher.java	39	4	1772	1140	4	2	2021-03-14	2022-12-06	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/equation/binop_matcher/FunctionMatcher.java	44	2	1836	1772	2	1	2021-01-09	2021-03-14	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/equation/binop_matcher/ListFunctionMatcher.java	45	1	1836	1836	1	1	2021-01-09	2021-01-09	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/equation/binop_matcher/DefinitionFunctionMatcher.java	38	1	1836	1836	1	1	2021-01-09	2021-01-09	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/equation/binop_matcher/ExpressionFunctionMatcher.java	59	4	1836	1140	4	2	2021-01-09	2022-12-06	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/equation/EquivSolver.java	90	6	2066	1591	6	3	2020-05-24	2021-09-11	valery.isaev@jetbrains.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/equation/EquationSolver.java	57	11	2066	1357	11	3	2020-05-24	2022-05-03	valery.isaev@jetbrains.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/equation/EquationMeta.java	296	67	2066	484	74	5	2020-05-24	2024-09-22	valery.isaev@jetbrains.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/equation/TransitivitySolver.java	209	14	2040	700	14	2	2020-06-19	2024-02-19	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/equation/term/CompiledTerm.java	43	2	1049	927	2	2	2023-03-07	2023-07-07	fedor.part@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/equation/term/VarTerm.java	7	2	1049	927	2	2	2023-03-07	2023-07-07	fedor.part@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/equation/term/CompositeTerm.java	13	2	1049	927	2	2	2023-03-07	2023-07-07	fedor.part@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/simplify/MonoidIdentityRule.java	58	8	1363	927	9	2	2022-04-27	2023-07-07	fedor.part@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/simplify/SimplifyMeta.java	64	32	1629	559	40	5	2021-08-04	2024-07-09	fedor.part@gmail.com	kadantsev.georg@yandex.ru
meta/src/main/java/org/arend/lib/meta/simplify/LocalSimplificationRuleBase.java	127	9	1363	843	12	3	2022-04-27	2023-09-29	fedor.part@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/simplify/MulOfNegativesRule.java	52	5	1363	1260	6	2	2022-04-27	2022-08-08	fedor.part@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/simplify/GroupRuleBase.java	53	2	1049	927	2	2	2023-03-07	2023-07-07	fedor.part@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/simplify/DoubleNegationRule.java	41	8	1363	927	9	2	2022-04-27	2023-07-07	fedor.part@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/simplify/MultiplicationByZeroRule.java	37	5	1363	1140	6	2	2022-04-27	2022-12-06	fedor.part@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/simplify/NegationPropagationRule.java	49	2	1035	927	2	2	2023-03-21	2023-07-07	fedor.part@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/simplify/IdentityInverseRule.java	41	2	1274	927	2	2	2022-07-25	2023-07-07	fedor.part@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/simplify/Simplifier.java	226	3	573	559	3	3	2024-06-25	2024-07-09	fedor.part@gmail.com	kadantsev.georg@yandex.ru
meta/src/main/java/org/arend/lib/meta/simplify/SimplificationRule.java	8	5	1629	927	6	2	2021-08-04	2023-07-07	fedor.part@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/simplify/AbGroupInverseRule.java	120	7	1322	927	8	2	2022-06-07	2023-07-07	fedor.part@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/simplify/GroupInverseRule.java	154	4	1049	927	5	2	2023-03-07	2023-07-07	fedor.part@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/ClassExtResolver.java	53	4	1868	1134	4	2	2020-12-08	2022-12-12	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/AssumptionMeta.java	76	2	1133	1112	3	2	2022-12-13	2023-01-03	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/cong/CongVisitor.java	379	25	1914	1140	26	2	2020-10-23	2022-12-06	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/cong/CongruenceMeta.java	126	14	1914	1394	16	2	2020-10-23	2022-03-27	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/SimpCoeMeta.java	477	27	1871	580	32	5	2020-12-05	2024-06-18	valery.isaev@gmail.com	58226433+s3midetnov@users.noreply.github.com
meta/src/main/java/org/arend/lib/meta/RepeatMeta.java	84	15	2120	1767	16	5	2020-03-31	2021-03-19	valery.isaev@jetbrains.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/pi_tree/PiTreeRoot.java	21	2	1871	1859	4	1	2020-12-05	2020-12-17	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/pi_tree/PathExpression.java	18	5	1871	1394	6	2	2020-12-05	2022-03-27	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/pi_tree/PiTreeNode.java	11	2	1871	1859	2	1	2020-12-05	2020-12-17	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/pi_tree/BasePiTree.java	23	4	1871	1645	4	1	2020-12-05	2021-07-19	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/pi_tree/PiTreeMaker.java	287	8	1871	1134	10	2	2020-12-05	2022-12-12	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/OrElseMeta.java	37	5	1532	1045	5	2	2021-11-09	2023-03-11	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/UsingMeta.java	68	7	2069	1140	9	3	2020-05-21	2022-12-06	valery.isaev@jetbrains.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/UnfoldLetMeta.java	38	11	1798	580	11	4	2021-02-16	2024-06-18	valery.isaev@gmail.com	58226433+s3midetnov@users.noreply.github.com
meta/src/main/java/org/arend/lib/meta/InMeta.java	45	5	642	580	5	3	2024-04-17	2024-06-18	valery.isaev@gmail.com	58226433+s3midetnov@users.noreply.github.com
meta/src/main/java/org/arend/lib/meta/RunMeta.java	75	16	2056	1695	19	2	2020-06-03	2021-05-30	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/closure/BunchedEquivalenceClosure.java	89	6	2040	1394	6	2	2020-06-19	2022-03-27	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/closure/BinaryRelationClosure.java	7	1	2045	2045	1	1	2020-06-14	2020-06-14	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/closure/ValuesRelationClosure.java	23	4	2045	2015	4	2	2020-06-14	2020-07-14	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/closure/EquivalenceClosure.java	66	6	2040	1394	6	2	2020-06-19	2022-03-27	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/closure/CongruenceClosure.java	439	16	2015	1357	17	3	2020-07-14	2022-05-03	fedor.part@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/HidingMeta.java	49	3	2069	2054	5	2	2020-05-21	2020-06-05	valery.isaev@jetbrains.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/ConstructorMeta.java	148	9	1970	580	9	4	2020-08-28	2024-06-18	valery.isaev@gmail.com	58226433+s3midetnov@users.noreply.github.com
meta/src/main/java/org/arend/lib/meta/CasesMeta.java	373	32	1826	434	34	2	2021-01-19	2024-11-11	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/DefaultImplMeta.java	78	3	604	580	3	3	2024-05-25	2024-06-18	valery.isaev@gmail.com	58226433+s3midetnov@users.noreply.github.com
meta/src/main/java/org/arend/lib/meta/AtMeta.java	57	9	2018	1140	9	2	2020-07-11	2022-12-06	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/NormalizationMeta.java	23	2	1802	1791	2	1	2021-02-12	2021-02-23	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/LaterMeta.java	15	10	2121	1767	12	3	2020-03-30	2021-03-19	valery.isaev@jetbrains.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/meta/RewriteMeta.java	377	60	2142	580	73	6	2020-03-09	2024-06-18	valery.isaev@jetbrains.com	58226433+s3midetnov@users.noreply.github.com
meta/src/main/java/org/arend/lib/meta/util/SubstitutionMeta.java	66	7	1767	1591	8	2	2021-03-19	2021-09-11	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/util/MetaInvocationMeta.java	114	4	1767	1591	4	2	2021-03-19	2021-09-11	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/meta/util/ReplaceSubexpressionsMeta.java	61	17	1767	580	18	5	2021-03-19	2024-06-18	valery.isaev@gmail.com	58226433+s3midetnov@users.noreply.github.com
meta/src/main/java/org/arend/lib/meta/MatchingCasesMeta.java	1123	63	1982	580	85	5	2020-08-16	2024-06-18	valery.isaev@gmail.com	58226433+s3midetnov@users.noreply.github.com
meta/src/main/java/org/arend/lib/meta/UnfoldsMeta.java	50	6	1427	580	6	4	2022-02-22	2024-06-18	valery.isaev@gmail.com	58226433+s3midetnov@users.noreply.github.com
meta/src/main/java/org/arend/lib/key/TransitivityKey.java	34	1	2040	2040	1	1	2020-06-19	2020-06-19	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/key/ReflexivityKey.java	31	1	2040	2040	1	1	2020-06-19	2020-06-19	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/key/IrreflexivityKey.java	40	2	2045	2040	2	1	2020-06-14	2020-06-19	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/key/FieldKey.java	111	5	2040	1394	5	2	2020-06-19	2022-03-27	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/context/ContextHelper.java	58	6	2043	1140	6	2	2020-06-16	2022-12-06	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/context/HidingContext.java	33	2	2043	2041	2	1	2020-06-16	2020-06-18	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/context/Context.java	24	1	2043	2043	1	1	2020-06-16	2020-06-16	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/ring/IntRing.java	26	3	1210	1140	3	2	2022-09-27	2022-12-06	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/ring/BigRational.java	35	3	1210	1140	3	2	2022-09-27	2022-12-06	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/ring/Ring.java	7	3	1210	1140	3	2	2022-09-27	2022-12-06	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/ring/Monomial.java	88	3	1836	1791	3	1	2021-01-09	2021-02-23	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/error/MetaDidNotFailError.java	22	6	2069	580	6	5	2020-05-21	2024-06-18	valery.isaev@jetbrains.com	58226433+s3midetnov@users.noreply.github.com
meta/src/main/java/org/arend/lib/error/IgnoredArgumentError.java	13	2	1557	1394	2	2	2021-10-15	2022-03-27	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/error/EquationSolverError.java	86	1	888	888	1	1	2023-08-15	2023-08-15	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/error/SubclassError.java	21	3	1902	1886	3	1	2020-11-04	2020-11-20	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/error/SubexprError.java	34	10	2126	580	10	5	2020-03-25	2024-06-18	valery.isaev@jetbrains.com	58226433+s3midetnov@users.noreply.github.com
meta/src/main/java/org/arend/lib/error/SimplifyError.java	32	9	1363	580	10	4	2022-04-27	2024-06-18	fedor.part@gmail.com	58226433+s3midetnov@users.noreply.github.com
meta/src/main/java/org/arend/lib/error/MonoidSolverError.java	64	2	888	782	2	1	2023-08-15	2023-11-29	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/error/LinearSolverError.java	45	11	1219	559	12	4	2022-09-18	2024-07-09	valery.isaev@gmail.com	kadantsev.georg@yandex.ru
meta/src/main/java/org/arend/lib/error/TypeError.java	26	10	2064	580	10	5	2020-05-26	2024-06-18	valery.isaev@jetbrains.com	58226433+s3midetnov@users.noreply.github.com
meta/src/main/java/org/arend/lib/error/FieldNotPropError.java	19	2	1889	1886	2	1	2020-11-17	2020-11-20	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/level/StdLevelProver.java	142	20	2062	710	21	3	2020-05-28	2024-02-09	valery.isaev@jetbrains.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/pattern/PatternUtils.java	418	19	1968	690	21	2	2020-08-30	2024-02-29	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/pattern/ArendPattern.java	62	7	1968	1591	7	2	2020-08-30	2021-09-11	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/StdExtension.java	334	128	2216	559	155	7	2019-12-26	2024-07-09	valery.isaev@gmail.com	kadantsev.georg@yandex.ru
meta/src/main/java/org/arend/lib/goal/StdGoalSolver.java	50	7	2080	2015	7	3	2020-05-10	2020-07-14	valery.isaev@jetbrains.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/goal/ConstructorGoalSolver.java	117	14	2080	700	14	3	2020-05-10	2024-02-19	valery.isaev@jetbrains.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/util/NamedParameter.java	142	4	1826	1394	4	2	2021-01-19	2022-03-27	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/util/algorithms/groebner/GroebnerBasisAlgorithm.java	8	3	1917	1847	3	1	2020-10-20	2020-12-29	fedor.part@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/util/algorithms/groebner/Buchberger.java	67	15	1921	927	17	2	2020-10-16	2023-07-07	fedor.part@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/util/algorithms/ComMonoidWP.java	112	9	1917	1394	9	2	2020-10-20	2022-03-27	fedor.part@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/util/algorithms/idealmem/GroebnerIM.java	30	4	1917	1847	4	1	2020-10-20	2020-12-29	fedor.part@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/util/algorithms/idealmem/IdealMembership.java	7	3	1917	1847	3	1	2020-10-20	2020-12-29	fedor.part@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Poly.java	130	7	1872	1394	8	2	2020-12-04	2022-03-27	fedor.part@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/util/algorithms/polynomials/DegLexMonomialOrder.java	15	2	1872	1847	2	1	2020-12-04	2020-12-29	fedor.part@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Ring.java	50	3	1872	1847	3	1	2020-12-04	2020-12-29	fedor.part@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/util/algorithms/polynomials/Monomial.java	106	5	1889	1847	5	2	2020-11-17	2020-12-29	fedor.part@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/util/DefImplInstanceSearchParameters.java	67	5	1219	1140	5	2	2022-09-18	2022-12-06	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/util/Maybe.java	19	2	2064	2054	2	2	2020-05-26	2020-06-05	valery.isaev@jetbrains.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/util/Lazy.java	15	1	2038	2038	1	1	2020-06-21	2020-06-21	valery.isaev@gmail.com	valery.isaev@gmail.com
meta/src/main/java/org/arend/lib/util/CountingSort.java	28	2	1924	1919	2	2	2020-10-13	2020-10-18	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/util/RelationData.java	42	4	1219	1140	4	2	2022-09-18	2022-12-06	valery.isaev@gmail.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/util/Values.java	42	11	2064	1140	11	3	2020-05-26	2022-12-06	valery.isaev@jetbrains.com	fedor.part@gmail.com
meta/src/main/java/org/arend/lib/util/Utils.java	435	60	2064	559	67	6	2020-05-26	2024-07-09	valery.isaev@jetbrains.com	kadantsev.georg@yandex.ru
meta/build.gradle.kts	31	41	2217	559	49	6	2019-12-25	2024-07-09	valery.isaev@gmail.com	kadantsev.georg@yandex.ru
arend.yaml	7	30	2677	559	32	4	2018-09-21	2024-07-09	valery.isaev@gmail.com	kadantsev.georg@yandex.ru