mit-pdos

Repository-level view of 1 collected skills across 1 GitHub repositories.

skills collected

repositories

updated

2026-03-03

repository map

Where the skills live

Top repositories by collected skill count, with their share of this creator catalog and occupation spread.

repository explorer

creator/repo/skill

skill

occupation

description

updated

Detailed Perennial proof tactics reference with proof state examples. Use when you can't understand how a specific tactic works.

Showing 1 of 1 repositories

All repositories loaded