ndcroos

Parts not readable in paper from 1979

1

Some parts in the paper from 1979 are fuzzy. Peter Dybjer has a clearer version available at http://www.cse.chalmers.se/~peterd/papers/oplss15.html . (These materials were made available in context of the Oregon programming...

Typo.

Fix LaTeX rendering in r1cs_proof.

1

There is an issue with the LaTeX rendering here: https://doc-internal.dalek.rs/bulletproofs/notes/r1cs_proof/index.html#variables Perhaps other documentation pages are also affected.

Incorrect 'd'-keys in log lines

4

The values of 'd'-keys in the log lines are 'shifted' by one. Let me illustrate this with an example. Suppose the following commands are executed: cmd n at date n...

[Frontend] Added test_broadcast_double_odd to test_template.py

7

See issue https://github.com/PennyLaneAI/catalyst/issues/59 Parameters are taken from here: https://docs.pennylane.ai/en/stable/code/api/pennylane.broadcast.html

Draft for add bindings for numeric typeclasses

4

See https://github.com/agda/agda2hs/issues/262 cc @jespercockx This is my first PR to agda2hs. I am also new to Agda in general. This draft is a way of showing what I currently have...

Struggling to run games locally manually

4

I have tried to run NNG4 and GameSkeleton locally manually using the main branch of lean4game, but I get the following error when I try to access the game via...

Work on adding user feedback by opening a github issue from game

5

See https://github.com/leanprover-community/lean4game/issues/218 This is work in progress. So far, I have an extra dropdown option, which opens a popup with a button, which opens a GitHub issue with title and...