4

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

Comments
  • 0
    Debian has Coq in its repo. you could used it
  • 0
    @stop fuck that man. Not a pure Debian guy, give me Ubuntu or mint at least
  • 0
    i meant that you could download the binary from debian and install it on your mint.
  • 0
    @stop it was in the repository already, just had to apt-get. That's why I switched from Solus, which would have required compilation.
Add Comment