We're now testing jscoq. This is work in progress for the moment.

I use version IOf45aee1 from [jscoq.github.io], and for now the same example.

A First Example: The Infinitude of Primes

Some text.

Then

More text

And we conclude