Seminar for Constructive Mathematics: Foundations and Practice