GitHub · Where software is built

Labels Milestones New issue

Would it be possible to add <code>Div (Div w 2) 2 :~: Div w 4</code>

#59

· Mikolaj opened

on Mar 15, 2025

Can not infer <code>Max 1 n ~ n</code> when given <code>1 <= n</code>

#56

· lmbollen opened

on Aug 5, 2024

<code>*Log b (b^n)</code> is wrongly reduced to <code>n</code> if <code>b</code> is not a literal

#44

· rowanG077 opened

on Jul 10, 2022

Could not deduce: <code>CLog 2 (n * 2)</code> ~ <code>CLog 2 n + 1</code>

#42

· martijnbastiaan opened

on Jul 7, 2022

Derive 1 <= Max a b when (1 <= a ) or (1 <= b)

#41

· lmbollen opened

on May 24, 2022

Derive <code>a <= Max x (Max a y)</code>

#37

· isovector opened

on Jul 12, 2021

Derive <code>Max (a + n) (b + n) = Max a b + n</code>

#35

· isovector opened

on Jul 12, 2021

auto-derive <code>Div (a * x) a ~ x</code>

#24

· tscholak opened

on Sep 28, 2019

Various KnownNat and solver issues

#15

· augustss opened

on Sep 13, 2018