0:00

ReProving Agda in LeanProver and comparing with Coq

Name: ReProving Agda in LeanProver and comparing with Coq
Uploaded: 2026-06-07T12:01:55.978Z
Channel: awalterschulze
Description: Download ReProving Agda in LeanProver and comparing with Coq from YouTube as MP3 or MP4 for free on TubeGalore.

awalterschulze

0 views

Recently

📥 Download Options

Select Format:

Free download • No registration required • High quality

ReProving Agda in LeanProver and comparing with Coq

📥 Download Options

🔥 Related Videos