PLFA-Spring-2026

Public

Course web page for B629 Mechanized Proofs for PL Metatheory

Boost Software License 1.0

Updated Feb 6, 2026

Created Jan 6, 2026

1 stars

1 forks

0 watchers

0 open issues

Languages

Codebase composition by bytes

No language data available

Top Contributors

31 commits

11 commits

Recent Stargazers

24 days ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)191

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 0Closed Issues 4

Open Issues4

Activity Peak

Most recent day with highest activityFeb 6, 2026 • 2 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics