Skip to content
This repository was archived by the owner on May 18, 2026. It is now read-only.

Releases: leoprover/embed_modal

Release list

MET Version 1.5

MET Version 1.5 Latest
Latest

Choose a tag to compare

View all tags
@lex-lex lex-lex released this 19 Jan 18:20
v1.5
746e3ef

Version 1.5 of the Modal Embedding Tool (MET). See the README for further informaton.
This version fixes several bugs.

Assets 2
Loading

Modal Embedding Tool Version 1.0

Modal Embedding Tool Version 1.0

Choose a tag to compare

View all tags
@lex-lex lex-lex released this 12 May 11:06
1.0
2c75cf4

Version 1.0 of the Modal Embedding Tool. See the README for further informaton.

Loading