Skip to content
LaunchIndex
Browse/Learning and training
Category

Learning and training launches.

Learning products, courses, schools, training, or educational resources.

28,549 launches
Learning and training

Sheaf

sheaf-ai.com

Sheaf is a local-first AI math tutor that generates problem sheets from user input. It stores data on your machine, offers hints and solutions, and can output Lean 4 statements. Includes a demo sheet and install instructions for personal use.