JT PaaschCoq — Syntax (Real Simple Basics)Coq has its own language called Gallina. Here are some real simple basics.Jan 5, 2018Jan 5, 2018
JT PaaschUsing Coq in Docker: The BasicsGetting started with Coq can be straightforward, using docker.Dec 1, 2017Dec 1, 2017
JT PaaschPyenv fails on OS X El Capitan: No SSLOn OS X, you can install and use different python versions with pyenv. For instance, you can install python 3.5.0 like this:May 22, 2016May 22, 2016
JT PaaschInstalling VirtualBox 5 on OS X El Capitan (OS 10.11)https://www.virtualbox.org/ticket/14392Aug 11, 2015Aug 11, 2015
JT PaaschThe Right Way to Use Virtual EnvironmentsSeparate the environment from the source codeOct 24, 20146Oct 24, 20146
JT PaaschEasy Python 3 on your MacThe easy way to get different versions of Python on your Mac.Oct 24, 2014Oct 24, 2014
JT PaaschI’m gonna skip some detailsExperts want to know why you can skip the detailsJun 6, 2014Jun 6, 2014
JT PaaschMake a Java Program by HandHow to write and compile a Java program from the command lineApr 18, 2014Apr 18, 2014