Use issues to collaborate on ideas, solve problems, and plan work

Issue	Age	Status	Assignees
SPAM #59 1	18 days	Closed
SPAM #58 1	18 days	Closed
SPAM #57 1	18 days	Closed
Remove singular case from `distinct_elim` #56 2	43 days	Opened
la_tautology #55 4	51 days	Opened
la_generic unclear #54 3	74 days	Opened
La_generic Rule Misses Cases #53 3	74 days	Opened
SPAM #52 1	91 days	Closed
SPAM #48 1	255 days	Closed
SPAM #47 1	261 days	Closed
bind_let rule #46 2	296 days	Opened	1 additional assignee
weakening rule #45 2	296 days	Opened	1 additional assignee
Adding reordering rule to the Spec #44	297 days	Closed
`eq_symmetric` rule #43 1	301 days	Closed
Symm and Not_Symm Rule #42	317 days	Closed
Assignment operator in forall_inst args #41	326 days	Closed
Error in Example #40	336 days	Closed
Reference macro jumps to wrong position #39	338 days	Closed
Real vs Int printing #38	339 days	Closed
Empty Context Misunderstanding #36	339 days	Closed
Small typo in forall_inst #35	340 days	Closed
Bind Rule uses Existential Quantifier #37	342 days	Closed