Join devRant
Do all the things like
++ or -- rants, post your own rants, comment on others' rants and build your customized dev avatar
Sign Up
Pipeless API
From the creators of devRant, Pipeless lets you power real-time personalized recommendations and activity feeds using a simple API
Learn More
Had to switch to Linux mint from Solus cause I needed to use Coq and I didn't feel like compiling it from scratch when it's easy to get in mint. Anyone used Coq before? My teacher loves it for discrete math, and I like functional languages so I'm a bit intrigued
rant