Sheller Daniel Minior, the president of the North Carolina Shell Club and vice president of the national malacology organization, will speak at the lecture. Bryce Tholen, the stewardship assistant of ...

a simple and effective car inventory management system that's built in C. This project demonstrates the use of structs, file persistence and basic sorting and searching algorithms. It allows users to ...

Tactician is a tactic learner and prover for the Coq Proof Assistant. The system will help users make tactical proof decisions while they retain control over the general proof strategy. To this end, ...