Bas Spitters

Sorry, it looks like I have been missing a lot of notifications. In math-classes we defined our own natural numbers, so we overwrote the default notation. I would assume that...

Latex is a widely used markup language in universities, so grammarly support would have a big impact. Especially for students. There are various tools to remove the markup. Export to...

Here's a plugin that seems to do the job for the overleaf online version of latex: https://github.com/robindijkhof/overleaf-textarea On Fri, Feb 19, 2021 at 7:15 AM Bas Spitters wrote: > Latex...

It would be nice not to break the connections in our curve library too badly. https://github.com/AU-COBRA/AUCurves/tree/main/src/Hacspec

@franziskuskiefer Do you happen to know why the build could have failed?

What's the status of this? Is it just that @rasmus-kirk would need to add the panick?

I'll checks have passed and I see that this was the only thing blocking the merge, so I think we're good

The files are here: https://github.com/hacspec/hacspec/tree/master/lib/src @franziskuskiefer Are these libraries modeled on a specific rust linear algebra library. It may be interesting to specify those, provided they have a sane design.

E.g. https://rust-lang-nursery.github.io/rust-cookbook/science/mathematics/linear_algebra.html https://github.com/dimforge/nalgebra https://docs.rs/rulinalg/latest/rulinalg/ https://crates.io/keywords/matrix https://medium.com/ventifacts-linear-algebra/1-a-linear-algebra-library-in-rust-237d3f465675

About the pie-in-the-sky idea. For concreteness, let's consider equivalence in, say, easycrypt. Are you proposing to have a link to an EC file containing such a proof? I don't think...