search

formal-methods-mpi / Workshop.jl

https://formal-methods-mpi.github.io/Workshop.jl/
Creative Commons Zero v1.0 Universal
1 stars 1 forks source link

the_answer_to_life #104

Closed MalikaIhle closed 1 year ago

MalikaIhle commented 1 year ago

display of the_answer_to_life in https://formal-methods-mpi.github.io/Workshop.jl/stable/5_additional/extensive-foundations/ changes to italiccized 'answer' without underscores - don't know how to 'escape' symboles so didn't make a pull request for this

moritzketzer commented 1 year ago

I don't encounter any italization, i.e., I can't reproduce your issue. Can you specify the problem @MalikaIhle and/or can you reproduce this issue @aaronpeikert @aaronpeikert ?

MalikaIhle commented 1 year ago

image