Beast code in Giters

Rob Lewis's repositories

mathematica

Lean-independent implementation of the MM-Lean link

Language:Lean25 4 1

mathematica_examples

Language:Lean300

doc_gen

documentation generation for Lean

Language:Python1 20

lean4-autograder-main

Language:Lean1 2 3

robertylewis.github.io

Language:HTMLMIT100

zulip-archive

A tool for archiving and displaying Zulip chat channels.

Language:PythonMIT100

academicpages.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

Language:JavaScriptMIT010

actions-test

000

bors-ng

👁 A merge bot for GitHub Pull Requests

Language:ElixirApache-2.0000

BrownCs22

Language:Lean020

CS22-Lean-Dev

Language:Lean000

dhruv_contributions_lean

Language:Lean010

divthm-paper

Paper about formalization of the divergence theorem

Language:TeX000

exam-uniquifier

Language:TeX000

goo

Language:GoMIT000

hw1_autograder

Language:Lean000

import-graph

Language:Lean000

lean4_autograder

Language:Shell000

lean_dummy_project

Language:Lean000

leanclass

Language:Lean02 1

linear-combo-tactic

Language:Lean000

mathlib

Lean standard library

Language:LeanApache-2.0020

mathlib4

The math library of Lean 4

Apache-2.0000

my-ocaml-template

Language:OCamlMIT000

pages-test

Language:MathematicaMIT020

pfr

Language:Lean000

seminars

Listing of online math seminars

Language:PythonAGPL-3.0000

simons

Language:Lean020

systems-web

systems.cs.brown.edu

000

unified-autograder

Language:TeX010