Spaces:

ma7583
/

oracle

Paused

Apply for community grant: Academic project (gpu)

by ma7583 - opened Nov 27, 2025

Owner Nov 27, 2025

PVS prover is the first AI assistant for theorem proving in PVS.

Upload images, audio, and videos by dragging in the text input, pasting, or clicking here.

Tap or paste here to upload images

· Sign up or log in to comment