Created
4y
|
Jul 19, 2020, 3:52:04 PM
Login to add comment
Other posts in this group
Article URL: https://leanprover-community.github.io/con-nf//
One of my goals with Ada is to have a one-liner copy-paste terminal command for people to install Ada so they can get to coding in just a few minutes. After extensive testing I feel like it's rea
Hi all, we recently open sourced the first version of Hashquery, a Python library which lets you model analytics, DRY up common logic, and execute it against a database or warehouse.
We were ori