Stars
An extension for VS Code which provides support for HOL Light
Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturatio…
The source code of the extension CompareFolders
Generate Nix expressions for building a Julia depot with a set of packages
A symbolic math library written in Julia modelled off scmutils
The 3rd edition of course.fast.ai
amato-gianluca / UniMath
Forked from UniMath/UniMathThis coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Large category of modules over monads on top of UniMaths and Display category
The easiest way to get started with PostgreSQL on the Mac
A Pythonic implementation of *microkanren* logic language
NixOps is a tool for deploying to NixOS machines in a network or cloud.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…