Live Roundups Editor's Desk Insights Executive Ops Weather About 🔍
Home › Technology › Waterproof Editor: an educational environment for proof...
Technology

Waterproof Editor: an educational environment for proof assistants and programming languages

arXiv CS Tuesday 02 June 2026, 04:00 UTC By Pim Otte, Dick Arends, Raul S\'anchez Flores, Pieter Wils, Jim Portegies 1 min read
Key Points

arXiv:2606.01875v1 Announce Type: cross Abstract: Waterproof Editor provides an educational environment specifically targeted to teaching with proof assistants or programming languages. It arose from Waterproof, educational software targeted at helping students acquire the skill of giving mathematical proofs. Its original features such as enabling rich formatting and providing clear input areas are now abstracted away in an npm package and can be used in different educational contexts.

arXiv:2606.01875v1 Announce Type: cross Abstract: Waterproof Editor provides an educational environment specifically targeted to teaching with proof assistants or programming languages. It arose from Waterproof, educational software targeted at helping students acquire the skill of giving mathematical proofs. Its original features such as enabling rich formatting and providing clear input areas are now abstracted away in an npm package and can be used in different educational contexts. We invite interested parties to use this component in their educational software, and offer to assist with this.
Waterproof (LOCATION)
Originally published by arXiv CS Read original →

Related Stories

Global watchdog calls for tighter controls on agentic AI in finance

Global watchdog calls for tighter controls on agentic AI in finance LONDON, June 10 : Global regulators said increasingly autonomous forms of AI could amplify risks for the financial system and called for new controls as adoption accelerates. The Financial Stability Board (FSB) in a report on Wednesday "strongly" encouraged boards to consider implementing safeguards to mitigate risks from AI, including from “agentic” AI — or those systems capable of planning, reasoning and executing tasks...

Channel News Asia 26m ago

Ant International Considers Raising $1 Billion to Boost Growth

The Ant Group logo Photographer: Anthony Wallace/AFP/Getty Images

Bloomberg Technology 28m ago

Bill Gates to face questions from House committee over links to Jeffrey Epstein

Microsoft co-founder to appear in closed-door session as part of lawmakers’ investigation into convicted sex offenderBill Gates is set to testify in front of the House committee on oversight and reform on Wednesday as part of the panel’s investigation into the convicted sex offender Jeffrey Epstein. The Microsoft co-founder will appear in a closed-door session, where lawmakers are expected to question him about his past relationship with Epstein.

The Guardian World 33m ago

Bill Gates to face questions from House committee over links to Jeffrey Epstein

Microsoft co-founder to appear in closed-door session as part of lawmakers’ investigation into convicted sex offenderBill Gates is set to testify in front of the House committee on oversight and reform on Wednesday as part of the panel’s investigation into the convicted sex offender Jeffrey Epstein. The Microsoft co-founder will appear in a closed-door session, where lawmakers are expected to question him about his past relationship with Epstein.

The Guardian UK 33m ago