issues
search
UniFormal
/
MMT
The MMT Language and System
https://uniformal.github.io/
Other
68
stars
22
forks
source link
Release 23
#573
Closed
Jazzpirate
closed
1 year ago
Jazzpirate
commented
1 year ago
Administrative
preparation for a future upgrade to Scala 3
fixed many deprecation warnings
Core system
new support for imperative computation akin to type-checking
experimental support for interactive theorem proving via Sven Wille's MSc thesis
extended support for theorem proving via Leo by Colin Rothgang's MSc work building on Luca Wolff's BSc work
sTeX
major extensions
integrated improved document viewer (see
here
)
improved sandboxing for
RusTeX
improvements for LSP and the
IDE
co-release with the IDE and sTeX version 3.2 on
CTAN
Other components
Isabelle: upgrade to Isabelle2021-1
LATIN2 library (separate repository, co-released)
various extensions and improvements
monads and collection data types by Moritz Blöcher's BSc thesis
new dependently-typed higher-order logic as developed by Colin Rothgang's MSc thesis
new support for programming language features by Alexander Mattick's MSc project
case study on realms, in particular topology by Franziska Weber's BSc side project