A package for expressing and automatically proving logical statements symbolically in Julia

A Pluto.jl utilities library for notebooks intended as articles

🚀 Keep an updated export of every notebook you edit for quick viewing and publishing!

⚡Fast and simple notebook publishing — see plutopublish.com⚡