Search results

Equations for symmetry

Status: Open.

#12 In mikeshulman/ohtt;

· mikeshulman opened on Jul 15, 2022

Computing Id on eliminators

Status: Open.

#11 In mikeshulman/ohtt;

· mikeshulman opened on Jul 8, 2022

Write a script to update Notations.agda automatically

Status: Open.

#8 In mikeshulman/ohtt;

· mikeshulman opened on Jul 5, 2022

Speed things up

Status: Open.

#7 In mikeshulman/ohtt;

· mikeshulman opened on Jul 5, 2022

Integers

Status: Open.

#4 In mikeshulman/ohtt;

· mikeshulman opened on Jul 5, 2022

Natural numbers

Status: Open.

#3 In mikeshulman/ohtt;

· mikeshulman opened on Jul 5, 2022

Sum types

Status: Open.

#2 In mikeshulman/ohtt;

· mikeshulman opened on Jul 5, 2022

Compute sym on all types

Status: Open.

#1 In mikeshulman/ohtt;

· mikeshulman opened on Jul 5, 2022