Search results

Unclear licensing

Status: Open.

#172 In rocq-community/corn;

· SnarkBoojum opened on Jul 15, 2022

Missing translations from IR to R

Status: Open.

#164 In rocq-community/corn;

· jakezweifler opened on Oct 11, 2021

Listing and preserving Corn-related publications

Status: Open.

#119 In rocq-community/corn;

· palmskog opened on Aug 15, 2020

Fundamental theorem of algebra :: location?

Status: Open.

#74 In rocq-community/corn;

· OrenGitHub opened on Apr 30, 2019

Std lib ommisions

help wanted

Status: Open.

#58 In rocq-community/corn;

· spitters opened on Jul 20, 2018

[math-classes] Non-commutative (semi)rings

Status: Open.

#38 In rocq-community/corn;

· urkud opened on Nov 30, 2016

reading order

Status: Open.

#8 In rocq-community/corn;

· aa755 opened on Oct 19, 2014