Frequently asked questions about Proof assistants

Question 1

What stories does HearLore have on Proof assistants?

Accepted Answer

HearLore has every story worth knowing on Proof assistants, narrated and connected to a hundred more. Start with any one and follow the thread to the next rabbit hole.

Question 2

Is there narrated audio for Proof assistants?

Accepted Answer

Yes. Every Proof assistants story on HearLore is narrated. Free to listen, no account needed.

Question 3

Are Proof assistants stories on HearLore free?

Accepted Answer

Yes. Every HearLore story is free to listen to, including every Proof assistants story. No subscription, no paywall.