Symbolic mathematics on Linux

Posted Jan 6, 2017 17:04 UTC (Fri) by tbenst (guest, #113388)
In reply to: Symbolic mathematics on Linux by leephillips
Parent article: Symbolic mathematics on Linux

Would you consider proof assistants / progamming languages like Coq, Agda and Idris to be in this same category?

Posted Jan 6, 2017 18:54 UTC (Fri) by leephillips (subscriber, #100450) [Link]

No, that's a whole different kettle of fish, one I know very little about.