For use of the LaTeX discussion group. The purpose of this list is to discuss the development of the successor to LaTeX version 2e. Please direct general questions about version 2.09 and 2e to other lists. It is, however, perfectly allowed to point out deficiencies which should be improved in the next version. Note: ----- If mail to a list member is rejected three times, the corresponding mail address is deleted without further notice.
On 21/08/2020 11:04, Emmanuel Beffara wrote: > Hello, > > I have been reading this list for some time and I must say that I am > impressed and enthusiastic on the recent work done on LaTeX3 and that it > did renew my interest in TeX programming. > > I am developing the ebproof package using expl3. The point of this > package is to typeset proof trees made of inference rules, as people do > in logic and computer science, which involves precise alignment > operations and construction of boxes with precise dimensions. I just > uploaded a
