The Hitchhiker's Guide to Logical Verification

The Lean Computer Science Library (CSLib)

Minicurso sobre Lean dictado en el IMCA.

A Lean companion to Analysis I

A template for blueprint-driven formalization projects in Lean.

plasTeX plugin to build formalization blueprints.

Natural language tactics to teach mathematics using Lean 4

Nature Methods: RNA foundation model (together with RhoFold)

Awesome Reasoning LLM Tutorial/Survey/Guide

Microsoft BASIC for 6502 Microprocessor - Version 1.1

Physics Informed Machine Learning Tutorials (Pytorch and Jax)

PINNs-Torch, Physics-informed Neural Networks (PINNs) implemented in PyTorch.

Physics Informed Deep Learning: Data-driven Solutions and Discovery of Nonlinear Partial Differential Equations

The math library of Lean 4

Advanced course on Reinforcement Learning.

[UIST 2023] Augmented Math: Authoring AR-Based Explorable Explanations by Augmenting Static Math Textbooks