Skip to content

All issues

Issues

Search Issues

Search results

Using multiple Existentials at once

Status: Open.

#45 In Negabinary/Math-Playground;

· Negabinary opened

on Jul 19, 2023

Next button showing options that should be circular

Status: Open.

#44 In Negabinary/Math-Playground;

· Negabinary opened

on Jul 19, 2023

·

Beta-Reduce all

Status: Open.

#43 In Negabinary/Math-Playground;

· Negabinary opened

on Feb 5, 2023

·

Multiple Files Open at once?

Status: Open.

#42 In Negabinary/Math-Playground;

· Negabinary opened

on Jan 29, 2023

·

Add native support for natural numbers

Status: Open.

#41 In Negabinary/Math-Playground;

· Negabinary opened

on Jan 28, 2023

·

Add native support for rings/monoids

Status: Open.

#40 In Negabinary/Math-Playground;

· Negabinary opened

on Jan 28, 2023

·

Add infix notation

Status: Open.

#39 In Negabinary/Math-Playground;

· Negabinary opened

on Jan 28, 2023

·

More options for rescuing types (e.g. by name)

Status: Open.

#38 In Negabinary/Math-Playground;

· Negabinary opened

on Dec 31, 2022

·

When re-parsing old cells, rescued types are not removed.

Status: Open.

#35 In Negabinary/Math-Playground;

· Negabinary opened

on Dec 28, 2022

·

differentiate import / include

Status: Open.

#32 In Negabinary/Math-Playground;

· Negabinary opened

on Dec 22, 2022

·

Add Undo

Status: Open.

#31 In Negabinary/Math-Playground;

· Negabinary opened

on Dec 22, 2022

Automatically Generate Induction Rules

Status: Open.

#30 In Negabinary/Math-Playground;

· Negabinary opened

on Dec 22, 2022

·