Konstruktiv adäquate Beweisautomatisierung für intuitionistische LogikDaniel KornÉpuisé4,3Prévenez-moi