Zulip Chat Archive

Stream: Equational

Topics:

FINITE: 677 -> 255 (364 messages, latest: May 01 2025 at 22:53)
Quanta Magazine Article (2025-04-30) (3 messages, latest: May 01 2025 at 15:22)
Asymptotics for number of isomorphism types (1 message, latest: Apr 30 2025 at 23:40)
Writing the paper (31 messages, latest: Apr 28 2025 at 09:36)
https://arxiv.org/pdf/2504.10101 (33 messages, latest: Apr 24 2025 at 08:27)
Sharing project results (2 messages, latest: Apr 23 2025 at 19:06)
Enhancing the progress visualization (12 messages, latest: Apr 17 2025 at 11:06)
potentially related question about constructing finite s… (20 messages, latest: Apr 14 2025 at 16:08)
Thoughts and impressions thread (388 messages, latest: Apr 14 2025 at 16:01)
Project language stats (36 messages, latest: Apr 14 2025 at 13:38)
Crowdsourcing the proof of 1729 != 817 (172 messages, latest: Apr 14 2025 at 12:07)
Equational classes generated by 3-element magmas (13 messages, latest: Apr 14 2025 at 08:11)
Upstream to Mathlib (22 messages, latest: Mar 27 2025 at 12:22)
Finishing the formalization of anti-implications (53 messages, latest: Mar 21 2025 at 22:18)
Higman-Neumann characterization of groups (109 messages, latest: Mar 12 2025 at 12:26)
how many explicitly true relations were proved automatically (3 messages, latest: Mar 10 2025 at 18:04)
Non-commutative linear implications (23 messages, latest: Feb 26 2025 at 04:43)
GREEDY-GREEDY HYBRID: Refute 1516->255 (22 messages, latest: Feb 07 2025 at 09:20)
Understanding extract_implications outcomes (4 messages, latest: Feb 02 2025 at 15:34)
Mathbases.org PR (1 message, latest: Jan 30 2025 at 18:02)
✔ Theorem 5.11 (3 messages, latest: Jan 26 2025 at 14:04)
✔ Proposition 5.12 (3 messages, latest: Jan 23 2025 at 18:02)
Autogenerated proof worth showing (19 messages, latest: Jan 22 2025 at 14:26)
Simple and (sub)directly irreducible spectrum (15 messages, latest: Jan 20 2025 at 05:40)
Mace4 malloc issues (4 messages, latest: Jan 16 2025 at 12:23)
Lean Together presentation (3 messages, latest: Jan 14 2025 at 23:06)
Equations with full spectrum (68 messages, latest: Jan 12 2025 at 08:19)
Tarski's axiom 543 (73 messages, latest: Jan 10 2025 at 23:03)
Wrong ordering of equations (5 messages, latest: Jan 08 2025 at 08:57)
Drafting the paper (119 messages, latest: Jan 06 2025 at 15:42)
Future directions (105 messages, latest: Dec 27 2024 at 01:33)
clarification about magma cohomology (19 messages, latest: Dec 26 2024 at 07:52)
Result promotion (7 messages, latest: Dec 17 2024 at 16:01)
Some results from order 5 (34 messages, latest: Dec 16 2024 at 16:25)
Minimal countermodel to order 4 equations (11 messages, latest: Dec 11 2024 at 10:41)
✔ Overloading notation (6 messages, latest: Dec 11 2024 at 08:20)
FINITE: The Lean+Duper implications (43 messages, latest: Dec 10 2024 at 07:26)
Bug in Mace4 isofilter (Windows) (10 messages, latest: Dec 08 2024 at 01:20)
The Finite Magma Game (21 messages, latest: Dec 07 2024 at 21:54)
Austin pairs (441 messages, latest: Dec 07 2024 at 00:39)
A final end-to-end theorem in Lean (233 messages, latest: Dec 06 2024 at 15:25)
Optimizing SCC equivalent proofs (33 messages, latest: Dec 05 2024 at 15:26)
Ways to analyze a given equation (40 messages, latest: Dec 01 2024 at 22:38)
Understanding Finite 1486 Magmas (30 messages, latest: Dec 01 2024 at 16:25)
Formalising Counterexamples from the Greedy Method (70 messages, latest: Nov 29 2024 at 16:51)
Starting (3 messages, latest: Nov 28 2024 at 11:23)
What are the hardest positive implications for an ATP? (34 messages, latest: Nov 27 2024 at 18:28)
713, 1289, 1447 (147 messages, latest: Nov 27 2024 at 16:50)
854 formalization experiment (2 messages, latest: Nov 24 2024 at 19:58)
About 1729 vs 817 (115 messages, latest: Nov 23 2024 at 08:51)
47 !=> 1518, 2910 (1 message, latest: Nov 22 2024 at 07:29)
Outstanding equations, v1 (169 messages, latest: Nov 20 2024 at 18:26)
1518 (32 messages, latest: Nov 19 2024 at 00:37)
Mathlib Bump (367 messages, latest: Nov 18 2024 at 20:18)
1323 (144 messages, latest: Nov 18 2024 at 01:34)
equation explorer I'm not feeling lucky (10 messages, latest: Nov 17 2024 at 18:27)
1516 -> 255 (230 messages, latest: Nov 16 2024 at 13:59)
1485 (795 messages, latest: Nov 15 2024 at 13:37)
Big difference with Mace4 (1 message, latest: Nov 14 2024 at 22:02)
Statistics of higher-order equations (36 messages, latest: Nov 14 2024 at 06:08)
Finite graph support in equation explorer/graphiti (2 messages, latest: Nov 12 2024 at 17:12)
[DOCS] New doc-gen setup (1 message, latest: Nov 12 2024 at 16:11)
exists_greedy_chain experiment (2 messages, latest: Nov 12 2024 at 06:28)
Database and new graph visualizations (53 messages, latest: Nov 10 2024 at 19:11)
Machine learning, first results (90 messages, latest: Nov 10 2024 at 18:44)
Graph ML: Directed link prediction on the implication graph (10 messages, latest: Nov 10 2024 at 18:28)
How could machine learning/AI be deployed on this project? (23 messages, latest: Nov 10 2024 at 18:19)
Explicit free magmas (2 messages, latest: Nov 10 2024 at 02:49)
✔ Ramanujan implications (7 messages, latest: Nov 09 2024 at 17:11)
Relaxation testing agent on top of LLM and Vampire (37 messages, latest: Nov 09 2024 at 13:37)
Jordan identity (9 messages, latest: Nov 09 2024 at 07:20)
✔ Would alg be helpful? (16 messages, latest: Nov 08 2024 at 19:18)
IsDual confusion (1 message, latest: Nov 08 2024 at 16:53)
New tool: Magmas CLI (52 messages, latest: Nov 08 2024 at 14:37)
Operation table generation (4 messages, latest: Nov 08 2024 at 13:43)
Does witness apply for removing duplicates (4 messages, latest: Nov 06 2024 at 13:38)
New post - Intuition machine (1 message, latest: Nov 06 2024 at 11:21)
✔ Vampire proofs and common technique pipelines (9 messages, latest: Nov 06 2024 at 06:22)
Implication Statistics (23 messages, latest: Nov 05 2024 at 22:06)
Eval metrics for agentic proof generation (2 messages, latest: Nov 05 2024 at 14:18)
Lean in the cloud as an API or pip package - options (1 message, latest: Nov 05 2024 at 08:45)
Eq 1729 vs Eq 917 (26 messages, latest: Nov 04 2024 at 19:49)
LawsComplete by proof term generation (48 messages, latest: Nov 04 2024 at 17:52)
✔ Duper with a few select theorems (3 messages, latest: Nov 04 2024 at 14:15)
854 (358 messages, latest: Nov 04 2024 at 13:51)
✔ Testing karaml w/ p9, packaged eprover (14 messages, latest: Nov 04 2024 at 12:29)
✔ Dockerized Vampire (8 messages, latest: Nov 04 2024 at 12:18)
Bol/Moufang loops (11 messages, latest: Nov 04 2024 at 07:10)
✔ Antiseed explorations - tool (8 messages, latest: Nov 03 2024 at 17:07)
Reconstructing the 4694 expressions from the ground up. (49 messages, latest: Nov 03 2024 at 13:54)
Graphiti (45 messages, latest: Nov 01 2024 at 13:45)
✔ Is Graphiti up to date? - data verification request (12 messages, latest: Nov 01 2024 at 11:17)
Remaining unformalized theorems? (33 messages, latest: Nov 01 2024 at 11:10)
One operation for generating algebraic structures - idea (7 messages, latest: Nov 01 2024 at 08:46)
isomorphism testing in large magmas (14 messages, latest: Nov 01 2024 at 06:21)
Automatically proving non-implications with invariants (145 messages, latest: Nov 01 2024 at 06:06)
1043 (1 message, latest: Oct 31 2024 at 22:00)
✔ Efficient TPTP generation (4 messages, latest: Oct 30 2024 at 17:55)
✔ Visualizing and comparing operation tables (4 messages, latest: Oct 30 2024 at 17:54)
✔ Finite Magma Explorer as a Python module or API for RL … (7 messages, latest: Oct 30 2024 at 10:51)
Ansatz brainstorming (1 message, latest: Oct 30 2024 at 02:11)
Magma equations and fractal tree matching (24 messages, latest: Oct 29 2024 at 17:57)
Laws between the singleton law and the constant law? (4 messages, latest: Oct 29 2024 at 07:47)
Name collisions (53 messages, latest: Oct 28 2024 at 20:16)
Crazy Algebra (5 messages, latest: Oct 28 2024 at 19:25)
Tested another transformer - DeepSeek (1 message, latest: Oct 28 2024 at 15:09)
✔ Dimacs + Kissat (8 messages, latest: Oct 27 2024 at 20:39)
Deep Reasoning Through Flexible Universal Language (1 message, latest: Oct 27 2024 at 11:54)
Implications dataset into long words for fine tuning (2 messages, latest: Oct 26 2024 at 17:20)
TS + NextJS adj matrix searching with anti-1481, 2087 etc. (1 message, latest: Oct 26 2024 at 09:57)
Implications - dimensionality reduction (19 messages, latest: Oct 25 2024 at 17:53)
Command-line Prover (11 messages, latest: Oct 25 2024 at 15:19)
favicon.ico for the project (24 messages, latest: Oct 25 2024 at 14:46)
Search with q#, constraints through z3 (9 messages, latest: Oct 25 2024 at 08:58)
Proposal: Add Finite typeclasses to non-implications (26 messages, latest: Oct 24 2024 at 18:26)
Obelix: joining two approaches (27 messages, latest: Oct 24 2024 at 17:53)
How did we manually find 5x5, 11x11, 13x13 (6 messages, latest: Oct 24 2024 at 12:20)
ChatGPT knows that Terrence is a prominent mathematician (2 messages, latest: Oct 24 2024 at 11:30)
Network insights (3 messages, latest: Oct 23 2024 at 11:42)
Vampire -> Lean (24 messages, latest: Oct 23 2024 at 03:42)
Upstream to LeanBlueprint (3 messages, latest: Oct 22 2024 at 21:44)
MATHLIB: What Should We Upstream? (13 messages, latest: Oct 22 2024 at 19:23)
Equation 5105 -> Equation 2 (40 messages, latest: Oct 22 2024 at 16:25)
Equation Explorer Enhancements (39 messages, latest: Oct 21 2024 at 22:58)
Bell numbers in mathlib? (5 messages, latest: Oct 21 2024 at 22:28)
Prompt for an agent (1 message, latest: Oct 21 2024 at 22:03)
Graph of 4697 nodes using Cytoscape.js (1 message, latest: Oct 21 2024 at 18:05)
Outlier hunting (2 messages, latest: Oct 21 2024 at 01:29)
On implication flow - post (1 message, latest: Oct 20 2024 at 15:35)
1076 !=> 3 (164 messages, latest: Oct 20 2024 at 14:14)
proving a hasse diagrams to be complete (55 messages, latest: Oct 20 2024 at 00:22)
✔ DATA: Edge List of the Implication Graph (16 messages, latest: Oct 19 2024 at 20:16)
slow build (101 messages, latest: Oct 19 2024 at 20:15)
Proposed new target: 63 and 1692 ("Dupont and Dupond") (29 messages, latest: Oct 19 2024 at 18:49)
non-computable non-non-computables? (53 messages, latest: Oct 19 2024 at 17:18)
Using SAT solvers for model generation (75 messages, latest: Oct 19 2024 at 10:55)
1841 ?=> 203 (18 messages, latest: Oct 18 2024 at 22:41)
Confluence text (29 messages, latest: Oct 18 2024 at 22:15)
Equation 879 !=> 4065 (2 messages, latest: Oct 18 2024 at 16:13)
Confluence question/idea (3 messages, latest: Oct 18 2024 at 14:58)
terminology of conjecture/proof (12 messages, latest: Oct 18 2024 at 14:55)
Mathlib community meeting (17 messages, latest: Oct 18 2024 at 14:01)
All infinite models are representable over the naturals (2 messages, latest: Oct 18 2024 at 01:14)
Implications with no proof (3 messages, latest: Oct 17 2024 at 19:43)
3 categories in UMAP after tokenization of theorems (10 messages, latest: Oct 17 2024 at 15:31)
New variant of outcomes.png (13 messages, latest: Oct 17 2024 at 15:29)
RECORDS REQUEST: data and performance automated run metrics (27 messages, latest: Oct 17 2024 at 13:16)
1648 !=> 206 (154 messages, latest: Oct 17 2024 at 09:00)
✔ Uncaught exception: failed to read PenroseDiagram.olean (5 messages, latest: Oct 16 2024 at 21:56)
WORKFLOW UPDATES (13 messages, latest: Oct 16 2024 at 21:46)
Equation 2126 (56 messages, latest: Oct 16 2024 at 21:42)
independent equations and invariants (8 messages, latest: Oct 16 2024 at 21:22)
Magmas from cuts (5 messages, latest: Oct 16 2024 at 19:10)
Online (or off the shelf) Knuth-Bendix tool (14 messages, latest: Oct 16 2024 at 19:09)
Extract Implications Issue? (8 messages, latest: Oct 16 2024 at 18:14)
For AI-assisted contributions - ChatGPT to guess ... (1 message, latest: Oct 16 2024 at 16:14)
✔ Requirements.txt (43 messages, latest: Oct 16 2024 at 06:52)
Getting magma laws in MetaM (12 messages, latest: Oct 16 2024 at 06:06)
Numerical coincidence: 476 ~ 503 (33 messages, latest: Oct 16 2024 at 04:38)
✔ Database of implications (20 messages, latest: Oct 16 2024 at 04:32)
Equation 477 (140 messages, latest: Oct 15 2024 at 23:46)
A question about KB with constants. (16 messages, latest: Oct 15 2024 at 22:27)
Commentary for Equation 41 (5 messages, latest: Oct 15 2024 at 21:39)
Future of Using ATPs (11 messages, latest: Oct 14 2024 at 22:32)
Issue running this in gitpod (39 messages, latest: Oct 14 2024 at 22:04)
Visualization as a graph (1 message, latest: Oct 14 2024 at 18:46)
Resolving >60% of cases with non-implications automatically (98 messages, latest: Oct 14 2024 at 18:13)
A question about Lean: maxHeartbeats (32 messages, latest: Oct 14 2024 at 17:59)
From graph ql + infra to pipelines + agents (32 messages, latest: Oct 14 2024 at 17:49)
Hard problems and negative results (12 messages, latest: Oct 14 2024 at 15:40)
What is the literature on undecidable implications? (6 messages, latest: Oct 13 2024 at 23:10)
Universal magmas (25 messages, latest: Oct 13 2024 at 22:26)
Central groupoids (8 messages, latest: Oct 13 2024 at 19:20)
1661 -> 1657 - another one bites the dust (30 messages, latest: Oct 13 2024 at 17:05)
Generating non-implications for laws (3 messages, latest: Oct 13 2024 at 15:03)
Are magma law implications not semidecidable? (3 messages, latest: Oct 12 2024 at 18:32)
Equation 65 -> left cancellability (149 messages, latest: Oct 12 2024 at 17:26)
✔ Magma.op vs MagmaLaw.op (24 messages, latest: Oct 12 2024 at 15:03)
Correctly gathering the list of proved equational results? (7 messages, latest: Oct 12 2024 at 13:13)
[Another approach, -linear magmas](topic/Another.20approach.2C.20-linear.20magmas.html) (9 messages, latest: Oct 12 2024 at 08:41)
External checkers (1 message, latest: Oct 11 2024 at 18:38)
Derive Axioms?? (10 messages, latest: Oct 10 2024 at 20:51)
CI Lean Environment Check (124 messages, latest: Oct 10 2024 at 17:32)
UX issue on the new blueprint theme (2 messages, latest: Oct 10 2024 at 12:22)
Software tool for formal proof collaboration (51 messages, latest: Oct 10 2024 at 08:56)
✔ Auxiliary problem (2 messages, latest: Oct 10 2024 at 08:14)
Equation explorer data errors? (11 messages, latest: Oct 10 2024 at 07:34)
Automatically generating magma laws & proofs from equations (73 messages, latest: Oct 10 2024 at 07:27)
Finite Magma Explorer - better late than never (38 messages, latest: Oct 09 2024 at 17:41)
the patterns in the implication matrix image (1 message, latest: Oct 09 2024 at 17:17)
A reminder about making PRs (14 messages, latest: Oct 09 2024 at 17:00)
✔ Issue #470 (8 messages, latest: Oct 09 2024 at 16:38)
Explaining the Equational Theories Project to Math Beginners (9 messages, latest: Oct 09 2024 at 16:01)
Equations.lean vs Chapter 2 (2 messages, latest: Oct 09 2024 at 15:00)
✔ Eq179 not implies Eq194 (3 messages, latest: Oct 09 2024 at 08:27)
✔ Do we need to build EquationalSearch files? (9 messages, latest: Oct 09 2024 at 06:25)
Constructing infinite models for non-implications (48 messages, latest: Oct 09 2024 at 04:47)
An old new idea (87 messages, latest: Oct 09 2024 at 00:03)
✔ What shall we name our interactive equation tool? (9 messages, latest: Oct 07 2024 at 21:37)
A magma of order < 13 - for Equation2531? (8 messages, latest: Oct 07 2024 at 10:17)
✔ Broken links in project page (4 messages, latest: Oct 07 2024 at 09:39)
proposal: add a dashboard page to the website (51 messages, latest: Oct 07 2024 at 03:16)
Conjectures for non-implications using invariants (1 message, latest: Oct 07 2024 at 01:26)
Search space for (EqX ∧ EqY) → EqZ (5 messages, latest: Oct 07 2024 at 00:30)
✔ Local links broken on main web site (6 messages, latest: Oct 06 2024 at 23:20)
Counterexamples by Enumerating Words in Quotient Magma (12 messages, latest: Oct 06 2024 at 20:29)
Authorship, Security, and Red Teaming Project vulnerabil… (70 messages, latest: Oct 06 2024 at 19:20)
visualization of graph closure (84 messages, latest: Oct 06 2024 at 17:31)
A webpage to view equations (81 messages, latest: Oct 06 2024 at 17:17)
Possible refactor from Type* to Type? (120 messages, latest: Oct 06 2024 at 16:42)
Is it plausable that all remaining implications are false? (9 messages, latest: Oct 06 2024 at 15:56)
From Equational To Math Platform (2 messages, latest: Oct 06 2024 at 15:00)
Symbol for Magma.op (142 messages, latest: Oct 06 2024 at 12:49)
4×4 magmas (43 messages, latest: Oct 06 2024 at 09:40)
✔ Undefined method `filter' in generate_graphviz_graph.rb (9 messages, latest: Oct 06 2024 at 06:34)
✔ Import equational_theories.Conjecture failed (4 messages, latest: Oct 06 2024 at 04:53)
✔ PR #342 (3 messages, latest: Oct 06 2024 at 00:00)
✔ PR #335 (6 messages, latest: Oct 05 2024 at 21:29)
Issue #186 (12 messages, latest: Oct 05 2024 at 18:44)
3102 does not imply 3176 (20 messages, latest: Oct 05 2024 at 15:43)
Changing file structure (5 messages, latest: Oct 05 2024 at 15:05)
Refactoring with Equation Command (22 messages, latest: Oct 05 2024 at 14:42)
using z3 (22 messages, latest: Oct 05 2024 at 14:42)
Collecting interesting finite magmas (28 messages, latest: Oct 05 2024 at 14:04)
More diagrams (5 messages, latest: Oct 05 2024 at 12:00)
multiple transitive closure computation scripts (4 messages, latest: Oct 05 2024 at 11:19)
Silence linters for genereated files (2 messages, latest: Oct 05 2024 at 06:58)
Ideas for unknown implications (20 messages, latest: Oct 05 2024 at 04:34)
Presentations of the form x = f(x,y,…) are simple (30 messages, latest: Oct 05 2024 at 04:20)
Documentation isn't updated correctly (1 message, latest: Oct 05 2024 at 03:08)
Using automated theorem provers (48 messages, latest: Oct 04 2024 at 19:02)
Metatheory: meta-thread (22 messages, latest: Oct 04 2024 at 17:18)
Dynamically detecting useful implications to decide (62 messages, latest: Oct 04 2024 at 16:17)
MagmaEgg egg-based Rust prover (9 messages, latest: Oct 04 2024 at 15:17)
✔ number of laws of order 4 (5 messages, latest: Oct 04 2024 at 06:59)
Lean script for extracting current set of implications (125 messages, latest: Oct 04 2024 at 02:47)
Blueprint CI: Added path filters to optimise resources (2 messages, latest: Oct 04 2024 at 01:16)
New script: run_before_push.sh (36 messages, latest: Oct 04 2024 at 01:07)
IMPORTANT NOTATION CHANGE (1 message, latest: Oct 03 2024 at 23:39)
axiom checking (4 messages, latest: Oct 03 2024 at 19:21)
POLL: Names of universally quantified variables (5 messages, latest: Oct 03 2024 at 16:10)
Adding the egg repository as a dependency (57 messages, latest: Oct 03 2024 at 15:05)
Some more implication visualizations (21 messages, latest: Oct 03 2024 at 10:25)
Generating metatheorems from invariants (9 messages, latest: Oct 03 2024 at 09:47)
Refutations with finite cancellative magmas (14 messages, latest: Oct 03 2024 at 05:49)
✔ Outstanding tasks v2 (8 messages, latest: Oct 02 2024 at 18:56)
✔ Outstanding tasks, v1 (80 messages, latest: Oct 02 2024 at 18:56)
✔ Where to store the ground truth of implications? (5 messages, latest: Oct 02 2024 at 18:56)
✔ A note about the claims process (7 messages, latest: Oct 02 2024 at 18:56)
✔ webpage overview is out of date? (13 messages, latest: Oct 02 2024 at 18:55)
CI task suggestion: Report changes in known facts (18 messages, latest: Oct 02 2024 at 18:22)
Blueprint: \discussion macro (1 message, latest: Oct 02 2024 at 16:48)
Pruning counter examples based on implications (54 messages, latest: Oct 02 2024 at 14:46)
REFACTOR I: Reversing the ordering on laws (1 message, latest: Oct 02 2024 at 13:54)
Brute-forcing with shared subterms (2 messages, latest: Oct 02 2024 at 07:13)
Syntax (121 messages, latest: Oct 02 2024 at 00:44)
Infinite magmas? (44 messages, latest: Oct 01 2024 at 20:31)
Three new polls (1 message, latest: Oct 01 2024 at 19:00)
Magma sampler for given identity (9 messages, latest: Oct 01 2024 at 18:33)
API for duals (7 messages, latest: Oct 01 2024 at 17:49)
CONTRIBUTING.md (28 messages, latest: Oct 01 2024 at 16:40)
New data – new pictures? (32 messages, latest: Oct 01 2024 at 14:52)
Metatheorem: complexity-preserving equations (51 messages, latest: Oct 01 2024 at 02:27)
✔ Bluprint help (70 messages, latest: Oct 01 2024 at 02:25)
Equations vs Laws (222 messages, latest: Sep 30 2024 at 19:27)
Solving ~20% of all cases by brute force (52 messages, latest: Sep 30 2024 at 09:49)
✔ repository PR labels (6 messages, latest: Sep 30 2024 at 04:51)
✔ GitHub actions caching (12 messages, latest: Sep 30 2024 at 04:43)
✔ CI build task (29 messages, latest: Sep 30 2024 at 04:42)
PRs Welcome : CI actions to manage the project (97 messages, latest: Sep 29 2024 at 22:38)
Infrastructure for large counterexamples (10 messages, latest: Sep 29 2024 at 21:02)
Contributing partial progress (39 messages, latest: Sep 29 2024 at 18:34)
Whole is greater than the sum of its parts (22 messages, latest: Sep 29 2024 at 16:22)
Refutations using Z3 (38 messages, latest: Sep 29 2024 at 03:37)
✔ Minor blueprint issue (7 messages, latest: Sep 28 2024 at 23:40)
File structure for large auto-generated merges (17 messages, latest: Sep 28 2024 at 18:28)
Memoizing finite magmas for kernel-friendly reduction (20 messages, latest: Sep 28 2024 at 14:45)
Faster elaboration of AllEquations (6 messages, latest: Sep 28 2024 at 14:05)
A lean list of all equations? (3 messages, latest: Sep 28 2024 at 13:46)
Refactoring the Lean file structure (36 messages, latest: Sep 28 2024 at 08:44)
Visualizing the diagram of implications (6 messages, latest: Sep 28 2024 at 06:12)
Cluster in the refutations data (4 messages, latest: Sep 28 2024 at 05:11)
✔ Removing basic.lean broke docs and blueprint (5 messages, latest: Sep 28 2024 at 03:21)
op and equations (1 message, latest: Sep 27 2024 at 22:31)
Running the vampire solver on all of the equations (2 messages, latest: Sep 27 2024 at 16:24)
Setting up a github project (30 messages, latest: Sep 27 2024 at 15:12)
Number of equations on the hypothesis (6 messages, latest: Sep 27 2024 at 14:43)
Efficent representation of refutations (18 messages, latest: Sep 27 2024 at 10:40)
Adjusting / hiding definition numbers on equations page (2 messages, latest: Sep 26 2024 at 21:52)
channel events (9 messages, latest: Sep 26 2024 at 16:22)

Last updated: May 02 2025 at 03:31 UTC