Bhargav Kulkarni

Results 5 comments of Bhargav Kulkarni

I am using Coq version 8.11.0.

You are right, sin(x) is equal to x for small values of x, and this is how sin(x) behaves in most math libraries too. That's why I think, as this...

So how do I concat a 4x4 with the current bindings then?

I am using skia-python to test out certain skia api level optimizations. This involves trying to redraw optimized skps using skia-python's api for testing correctness. At the skp level, all...

Thanks for getting started on this! I was going to try and add the constructor myself, but I was not able to get the wheel build to work.