Skip to content

Releases

v0.1.3

v0.1.3 Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 17 Nov 02:49
v0.1.3
b4b4449 
readd speaker note compile
Assets 3
Loading

v0.1.2

v0.1.2

Choose a tag to compare

View all tags
@github-actions github-actions released this 14 Nov 07:10
v0.1.2
92ad8e9 
remove misc
Loading

v0.1.1

v0.1.1

Choose a tag to compare

View all tags
@github-actions github-actions released this 14 Nov 03:20
v0.1.1
9d76a09 
add backgrounds
Loading

v0.1.0

v0.1.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 11 Nov 07:53
v0.1.0
dea5105 
finish well specified case description
Loading

v0.0.3

v0.0.3

Choose a tag to compare

View all tags
@github-actions github-actions released this 10 Nov 04:36
v0.0.3
9435a27 
finish main proof
Loading

v0.0.2

v0.0.2

Choose a tag to compare

View all tags
@github-actions github-actions released this 09 Nov 14:33
v0.0.2
f300818 
fix symbol and ci cjk render issue
Loading

v0.0.1

v0.0.1

Choose a tag to compare

View all tags
@github-actions github-actions released this 09 Nov 06:31
v0.0.1
efd2027 
finish proof part 1 & 2
Loading